Armin Biere,
"Adaptive Restart Control for Conflict Driven SAT Solvers"
: Proc. 11th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'08), Lecture Notes in Computer Science (LNCS), Vol. 4996, Springer, 2008
Original Titel:
Adaptive Restart Control for Conflict Driven SAT Solvers
Sprache des Titels:
Englisch
Original Buchtitel:
Proc. 11th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'08), Lecture Notes in Computer Science (LNCS)
Original Kurzfassung:
As the SAT competition has shown, frequent restarts improve the speed of SAT solvers tremendously, particularly on satisfiable
industrial instances. This paper presents a novel adaptive technique that
measures the agility of the search process dynamically, which in turn is
used to control the restart frequency. Experiments demonstrate, that this
new dynamic restart strategy improves speed of our SAT solver PicoSAT
on crafted instances considerably and on industrial instances slightly.
Forschungs-