2 search results - page 1 / 1 » On Finding Short Resolution Refutations and Small Unsatisfia... |
IWPEC
2004
Springer
15 years 8 months ago
2004
Springer
CAV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The problem of finding a small unsatisfiable core of an unsatisfiable CNF formula is addressed. The proposed algorithm, Trimmer, iterates over each internal node d in the...