Local Search Strategies for Satisfiability Testing (1993)

by Bart Selman, Henry A Kautz, Bram Cohen
Venue:Proceedings of the Second DIMACS Challange on Cliques, Coloring, and Satisfiability