Domain-independent extensions to GSAT: Solving large structured satisfiability problems (1993)

by B Selman, H Kautz
Venue:In Proc. of the 13th Int'l Joint Conf. on Artificial Intelligence