高效约束传播引擎

本文提出一种模型和实现技术，用于加速约束传播。探索了三种基于约束实现的传播器来提高约束传播效率的基本方法：跟踪哪些传播器已达到固定点、选择下一个要应用的传播器，以及如何为同一约束组合多个传播器。我们展示了如何通过幂等性推理和事件来更准确地跟踪固定点。我们通过动态使用这些方法（考虑当前域以提高准确性）来改进这些方法。我们定义基于优先级的方法来选择下一个传播器，并表明动态优先级可提高传播效率。我们说明了在使用优先级的情况下，为同一约束使用多个传播器是有优势的，并引入了带有优先级的分阶段传播器，以实现更高效的组合。