Bart Selman, Henry A. Kautz, Bram Cohen. Local search strategies for satisfiability testing. In David S. Johnson, Michael A. Trick, editors, Cliques, Coloring, and Satisfiability, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, October 11-13, 1993. Volume 26 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 521-532, DIMACS/AMS, 1993.
Abstract is missing.