Efficient constraint propagation engines (2008)

by Christian Schulte, Peter J Stuckey
Venue:In Transactions on Programming Languages and Systems