Walksat Home Page

Stochastic Local Search for Satisfiability

Bart Selman, Cornell University

Henry Kautz, University of Rochester


walksat.cpp for CryptoMiniSat - 1 April 2019

Version 55 - 15 March 2018


Download GSAT source distribution


Download MaxWalkSat source distribution



"Local Search Strategies for Satisfiability Testing."  Bart Selman, Henry Kautz, and Bram Cohen.  Final version appears in Cliques, Coloring, and Satisfiability: Second DIMACS Implementation Challenge, October 11-13, 1993. David S. Johnson and Michael A. Trick, ed. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 26, AMS, 1996. Appendix Appendix summarizing results of walksat on challenge instances.
Home page for Henry Kautz

Home page for Bart Selman


SAT Live!