Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | Proc. 11th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'08), Lecture Notes in Computer Science (LNCS) |
| Publisher | Springer |
| Number of pages | 6 |
| Volume | 4996 |
| Publication status | Published - 2008 |
Fields of science
- 102 Computer Sciences