An Empirical Study of Greedy Local Search for Satisfiability Testing.

Bart Selman, Henry A. Kautz

Browse the full AAAI paper archive.