Walksat Home Page
Stochastic Local Search for Satisfiability
|
|
Walksat
VERSION 46, released 8 May 2006
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
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!