Global Difference Constraint Propagation for Constraint Programming
DGX agentarXiv:2607.20022v1 Announce Type: new Abstract: Difference constraints of the form x - y leq d are well studied, with efficient algorithms for satisfaction and implication, because of their connection