Local search strategies for satisfiability testing (1993)

by B Selman, H Kautz, B Cohen
Venue:In Cliques, Coloring, and Satisfiability: Second DIMACS Implementation Challenge