Niklas Sörensson, Armin Biere,
"Minimizing Learned Clauses"
, in Oliver Kullmann: LNCS, Vol. 5584, Springer, Seite(n) 237-243, 2009
Original Titel:
Minimizing Learned Clauses
Sprache des Titels:
Englisch
Original Buchtitel:
LNCS
Original Kurzfassung:
Minimizing learned clauses is an effective technique to reduce
memory usage and also speed up solving time. It has been implemented
in MINISAT since 2005 and is now adopted by most modern SAT solvers
in academia, even though it has not been described in the literature
properly yet. With this paper we intend to close this gap and also provide
a thorough experimental analysis of it's effectiveness for the first time.
Forschungs-