A new method for solving hard satis ability problems (1992)

by B Selman, H Levesque, D Mitchell
Venue:In Proc. of AAAI-92