Auto-Walksat: A Self-Tuning Implementation of Walksat.

Donald J. Patterson Henry A. Kautz

Published in: Electron. Notes Discret. Math. (2001)

Keyphrases

satisfiability problem
stochastic local search
boolean satisfiability
database
implementation details
efficient implementation
real time
evolutionary algorithm
randomly generated
implementation issues
stochastic local search algorithms
maximum satisfiability