Walksat Home Page
Stochastic Local Search for Satisfiability
Bart Selman, Cornell University
Henry Kautz, University of Washington
Walksat Home PageStochastic Local Search for SatisfiabilityBart Selman, Cornell UniversityHenry Kautz, University of Washington | |
What's New: Version 45 (Released 26 February 2004)
Right-click on "save link as" for the following:
Source code distribution (compiles under Linux, Ansi Unix, and Windows NT/XP)
Download Linux binary - Walksat
Download Linux binary - Makewff
Note: the random number code for the NT versions needs to be improved, after millions of flips it appears to cycle. Please use only the Unix versions for large-scale published experiments.
Before Walksat came GSAT. Here's the original GSAT source. It should work, but is no longer being updated.
A version of walksat for weighted maxsat.
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