Walksat Home Page
Stochastic Local Search for Satisfiability
|
|
Walksat
VERSION 48, released 21 March 2011
Right-click on "save link as" for the following:
Source code distribution (compiles under
Linux, Macintosh OSX, Ansi Unix, and Windows NT/XP/VISTA/WIN7)
GSAT
Before Walksat came GSAT. Here's the original GSAT source.
It should work, but is no longer being updated.
Download GSAT source distribution
MaxWalkSat
A version of walksat for weighted maxsat.
Download MaxWalkSat source distribution
Clone
A branch-and-bound Max-SAT solver developed at UCLA.
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!