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

by Henri Kautz, Bart Selman
Venue:In Proceedings of the Ninth International Conference on Principles and Practice of Constraint Programming (CP’03