A new method to solve hard satis problems (1992)

by Bart Selman, Hector Levesque, David Mitchell
Venue:In Proceedings of the Tenth National Conference on Arti Intelligence