Sciweavers

75
Voted
SAT
2009
Springer
111views Hardware» more  SAT 2009»
15 years 3 months ago
Restart Strategy Selection Using Machine Learning Techniques
Abstract. Restart strategies are an important factor in the performance of conflict-driven Davis Putnam style SAT solvers. Selecting a good restart strategy for a problem instance...
Shai Haim, Toby Walsh