TY - RPRT TI - Global Difference Constraint Propagation for Constraint Programming AU - Lucas Kletzander AU - Jip J. Dekker AU - Andreas Schutt AU - Peter J. Stuckey PY - 2026 UR - https://arxiv.org/abs/2607.20022 ID - 2607.20022 ER -