Sciweavers

SAT
2010
Springer
125views Hardware» more  SAT 2010»
14 years 4 months ago
Two Techniques for Minimizing Resolution Proofs
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...
Scott Cotton