Ten challenges in propositional reasoning and search (1997)

by Bart Selman, Henry Kautz, David McAllester
Venue:In Proc. IJCAI-97