Walksat Home Page
Stochastic Local Search for Satisfiability
|
|
Walksat
Version 50, released 31 March 2012
- 20% faster than earlier versions
- compiles under
Linux, Macintosh OSX, Ansi Unix, and Windows NT/XP/VISTA/WIN7
-
Right-click on "save link as" for the following:
Source code distribution
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!