Local consistency and sat-solvers (2010)

by P Jeavons, J Petke
Venue:In Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming - CP 2010