Local search strategies for satisfiability testing

Cite this paper

@inproceedings{Selman1993LocalSS, title={Local search strategies for satisfiability testing}, author={Bart Selman and Henry A. Kautz and Bram Cohen}, booktitle={Cliques, Coloring, and Satisfiability}, year={1993} }