Ten challenges in propositional reasoning and search (1997)

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