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

by Bart Selman , Hector Levesque , David Mitchell