Ten challenges in propositional reasoning and search (1997)

by Bart Selman , Henry Kautz , David Mcallester
Citations:83 - 3 self