Walksat Home Page

Stochastic Local Search for Satisfiability

Bart Selman, Cornell University

Henry Kautz, University of Rochester


Walksat

Version 51

Source code distribution

GSAT

Download GSAT source distribution

MaxWalkSat

Download MaxWalkSat source distribution

Clone

Home page for Clone


Papers

"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

SATLIB

SAT Live!