Ten challenges in propositional reasoning and search. (1997)

by B Selman, H A Kautz, D A McAllester
Venue:In IJCAI’97,