DMCA

Local consistency and sat-solvers (2010)

by Peter Jeavons , Justyna Petke
Venue:In Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming - CP 2010
Citations:5 - 1 self