Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems.

Bart Selman, Henry A. Kautz

Browse the full IJCAI paper archive.