差分约束形式为 $x - y \leq d$ 的问题已经得到了广泛研究，因其与最短路径的关联而拥有高效的满足与推理算法。然而，有限域传播算法通常不利用这些算法，而是将每个差分约束视为独立的传播器。
尽管传播保证了解决的完整性，但可能导致不必要的缓慢。本文描述了一种如何构建全局传播器的方法，该传播器同时处理所有差分约束，确保边界一致性。
尽管SAT模理论求解器早已包含差分约束的理论求解器，但我们展示了对传播器的需求有很大不同。关键在于，我们展示了如何通过全局差分约束传播器来解释传播过程，以便在懒惰子句生成求解器中使用。
实验结果表明，全球处理差分约束可以显著提升标准传播方法的效果。
博主点评： 本文提出的全局差分约束传播方法，显著提高了约束编程的效率，尤其在处理复杂约束时展现出强大的性能优势。将差分约束视为整体而非单独处理，能够有效减少计算时间，为约束求解领域带来了新的思路和启示。