On the connections between backdoors, restarts, and heavy-tailedness in combinatorial search (2003)

by R Williams, Gomes CP, B Selman
Venue:In: Sixth International Conference On Theory and Applications of Satisfiability Testing (SAT