improving local search (1994)

by Bart Selman, Henry A Kautz, Bram Cohen