A new method for solving hard satisfiability problems (1992)

by B Selman, H Levesque, D Mitchell
Venue:In Proceedings of AAAI-92, pages 440 – 446