A new method for solving hard satisfiability problems, (1992)

by B Selman, H Levesque, D Mitchell
Venue:Proceedings of the Tenth National Conference on Artificial Intelligence,