Ten challenges redux: recent progress in propositional reasoning and search (2003)

by H Kautz, B Selman
Venue:Proc. Principles and Practice of Constraint Progr. (CP