Ten Challenges in Propositional Reasoning and Search.

Bart Selman, Henry A. Kautz, David A. McAllester

Browse the full IJCAI paper archive.