1252 search results - page 16 / 251 » Minimizing Learned Clauses |
ICML
2009
IEEE
15 years 4 months ago
2009
IEEE
COLT
2007
Springer
15 years 3 months ago
2007
Springer
COLT
2008
Springer
14 years 11 months ago
2008
Springer
JSAT
2007
14 years 9 months ago
2007
This paper is concerned with the complexity of some natural subclasses of minimal unsatisfiable formulas. We show the DP –completeness of the classes of maximal and marginal mi...
87
Voted
SAT
2010
Springer
15 years 1 months ago
2010
Springer
Some SAT-solvers are equipped with the ability to produce resolution proofs for problems which are unsatisfiable. Such proofs are used in a variety of contexts, including finding...