11 search results - page 1 / 3 » Verification of Proofs of Unsatisfiability for CNF Formulas |
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
67
Voted
STOC
1998
ACM
15 years 5 months ago
1998
ACM
114
Voted
SAT
2005
Springer
15 years 6 months ago
2005
Springer
Much attention has been given in recent years to the problem of finding Minimally Unsatisfiable Subformulas (MUSes) of Boolean formulas. In this paper, we present a new view of the...
127
Voted
STOC
2010
ACM
15 years 10 months ago
2010
ACM
We present a generic method for converting any family of unsatisfiable CNF formulas that require large resolution rank into CNF formulas whose refutation requires large rank for p...
89
Voted
DAC
2007
ACM
16 years 1 months ago
2007
ACM
The ability of modern SAT solvers to produce proofs of unsatisfiability for Boolean formulas has become a powerful tool for EDA applications. Proofs are generated from a resolve t...