Walksat Home Page

Stochastic Local Search for Satisfiability

Bart Selman, Cornell University

Henry Kautz, University of Washington


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!