Walksat Home Page

Stochastic Local Search for Satisfiability

Bart Selman, Cornell University

Henry Kautz, University of Rochester


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!