Ten challenges in propositional reasoning and search (1997)

by B Selman, H Kautz, A McAllester
Venue:In Proceedings of IJCAI’97, 50–54