Global Difference Constraint Propagation for Constraint Programming

Lucas Kletzander, Jip J. Dekker, Andreas Schutt +1

Difference constraints of the form $x-y\le d$ are well studied, with efficient algorithms for satisfaction and implication, because of their connection to shortest paths. Finit…