A MINSAT Approach for Learning in Logic Domains
From MaRDI portal
Publication:2884520
DOI10.1287/ijoc.14.1.20.7709zbMath1238.68044MaRDI QIDQ2884520
Giovanni Felici, Klaus Truemper
Publication date: 30 May 2012
Published in: INFORMS Journal on Computing (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/9bbace90d19d124201b33c78998c2ad6bf55a963
Related Items
Simple Pattern Minimality Problems: Integer Linear Programming Formulations and Covering-Based Heuristic Solving Approaches, Supervised classification and mathematical optimization, Probability logic and optimization SAT: The PSAT and CPA models, Operations research and data mining
Uses Software