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

by Bart Selman , Hector Levesque , David Mitchell

Document Versions

GSAT: A new method for solving hard satisfiability problems –Bart Selman, Hector Levesque, David Mitchell — 1992