Generating special-purpose stateless propagators for arbitrary constraints (2010)

by Ian P Gent, Chris Jefferson, Ian Miguel, Peter Nightingale
Venue:In Principles and Practice of Constraint Programming (CP 2010