2 search results - page 1 / 1 » On Finding Short Resolution Refutations and Small Unsatisfia... |
98
Voted
IWPEC
2004
Springer
15 years 10 months ago
2004
Springer
109
Voted
CAV
2006
Springer
15 years 8 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...