Width-Based Restart Policies for Clause-Learning Satisfiability Solvers.

Knot Pipatsrisawat, Adnan Darwiche

Browse the full SAT paper archive.