Bart Selman Henry A. Kautz David A. McAllester Ten Challenges in Propositional Reasoning and Search. 50-54 1997 conf/ijcai/1997 IJCAI (1) db/conf/ijcai/ijcai97.html#SelmanKM97