Bart Selman, Cornell University, Henry Kautz, University of Washington
http://www.cs.rochester.edu/u/kautz/walksat/
Algorithmus:
Problem: lokale Optima -- Lösung: Mutationen.