Checking-up on branch-and-check (2010)

by J C Beck
Venue:In Proceedings of the Sixteenth International Conference on Principles and Practice of Constraint Programming (CP2010