Global difference constraint propagation for finite domain solvers.

Thibaut Feydy, Andreas Schutt, Peter J. Stuckey

Browse the full PPDP paper archive.