Restart Strategy Selection Using Machine Learning Techniques.

Shai Haim, Toby Walsh

Browse the full SAT paper archive.