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

by Bart Selman , Hector Levesque , David Mitchell
Citations:2 - 0 self

Document Versions

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