Global Difference Constraint Propagation for Constraint Programming
This paper describes how to build a (bounds consistent) global propagator for difference constraints that treats them all simultaneously, and shows how to explain propagations by a global difference constraint propagator, in order to use it within a lazy clause generation solver.