通过建立一个简单的抽象框架，我们发现多种约束传播算法（也称为局部一致性，一致性强制，Waltz，过滤或缩小算法）是处理混沌迭代的算法实例，并且可以统一分类和比较它们并在基本属性上进行确定。

Nov, 1998

本文研究了基于传播器实现的约束传播的三种改进方法，并探索了如何跟踪下一步要应用的传播器，如何组合多个传播器以及如何动态使用这些方法。在优化中，该研究使用了基于优先级的方法来优化约束传播，并且介绍了基于阶段的传播器来提高传播效率。

Nov, 2006

本文提出一种基于投影数据库原则的全局约束来解决约束编程方法的不足，实验结果表明该方法在大型数据集上表现优异，明显优于约束编程方法并且可以与特定方法竞争。

Apr, 2015

使用电路复杂度工具研究全局约束的分解，证明约束传播器存在一个多项式大小分解，当且仅当可以通过一个多项式大小单调布尔电路计算，并证明领域一致性传播者不存在多项式大小分解。

May, 2009

本文提出了基于全局约束 GAP-SEQ 的序列模式挖掘方法，能够在处理有或者无缺口约束的情况下获得更好的性能，并超越了传统的基于约束编程方法与 cSpade 方法。

Nov, 2015

通过运用领域知识和约束条件，ConSequence 模型能够高效地生成电子病历，满足完整的时间和空间约束条件，同时不影响运行性能和生成质量。

Dec, 2023

本文探讨了使用约束编程作为此任务的通用框架，并提出了两种约束编程公式。第一种公式引入了一个新的全局约束，称为 exists-embedding。实验表明其灵活性和与现有方法的比较。

Jan, 2015

通过数据挖掘和约束编程技术，改进了序列模式挖掘中计算问题的模块，使用可通用的约束求解器，加快了计算速度并提高了挖掘效率。

Apr, 2016

本文提出了一种新的基于符号区间传播和变量分裂的分支定界求解器 DPNeurifyFV，该方法采用新的启发式算法来选择区间变量，以改善变量相关性问题，在结合其他改进措施的情况下，可以显著提高深度学习神经网络验证的效率，并在空中碰撞避免网络 ACAS Xu 上实现了运行时改进。

Dec, 2022

本研究采用约束编程 (CP) 技术，探讨在序列数据库中建模和挖掘顺序模式的方法。实验证明了我们的 CP 方法的可行性和实用性。

Nov, 2013