Efficient Constraint Propagation Engines

by Christian Schulte, Peter J. Stuckey