Anew method for solving hard satis ability problems (1992)

by Bart Selman, Hector Levesque, David Mitchell
Venue:In Proc. 10th AAAI