GSAT: A new method for solving hard satisfiability problems (1992)

by Bart Selman, Hector Levesque, David Mitchell