• 糠

• 引用586篇文章[sw06916]
• 布尔函数的高效实现约束 传播（BCP）和一种新的低开销决策策略。。。

• 男爵

• 引用了354篇文章[sw00066]
• 因其组合而得名约束 传播区间分析及其归约的对偶性。。。

• FEASPUMP泵

• 参考文献133篇[sw04802]
• 类似于四舍五入和约束 传播-基本工具约束编程。广泛的。。。

• ILOG计划

• 引用了77篇文章[sw21243]
• 非常乐观约束 传播程序现已可用；可扩展作为考虑因素。。。

• 摊铺机

• 引用51篇文章[sw04401]
• 各种域：区间不动点算子，约束 传播局部一致性技术，局部优化。。。

• BL数据集

• 在26篇文章中引用[sw08330]
• 约束 传播以及高度析取和高度累积项目排程问题的分解技术。。。近年来，约束满意技术已成功地应用于“析取”调度问题，即调度问题。。。“累计”调度区域。多重约束 传播已经开发了累积资源的算法。。。有效地并行执行。新的约束 传播并在此基础上介绍了问题分解技术。。。

• 基准

• 引用25篇文章[sw04612]
• 混合动力系统的安全验证约束 传播基于抽象精化本文讨论。。。使用的附加优化步骤约束 传播在不引入。。。用复数描述不安全状态限制条件而不是与网格对应的集合。。。哪一个可以运行任何一个约束 传播基于解算器。这种实现的第一次测试。。。

• 球溶胶

• 在38篇文章中引用[sw06724]
• 从区间分析、自动微分和约束 传播提供无约束的解决方案。。。

• TSPTW公司

• 引用了37篇文章[sw04709]
• 解决合并的TSPTW约束编程传播可行性观点的算法（发现…运筹学优化技术嵌入全球限制条件，和约束编程约束解决技术，使。。。

• 天蓝色

• 参考11篇文章[sw07280]
• 天蓝：一个多向的本地传播 约束解决方案为用户界面建设许多用户界面。。。维护限制条件是多路本地的吗传播，其中限制条件用方法集来表示。。。满足一组限制条件，一个本地人传播解算器从每个约束中执行一个方法。天蓝色。。。增量约束使用局部的解算器传播维持限制条件作为个人。。。

• 易卜赛特

• 在14篇文章中引用[sw12331]
• 利用区间单调性约束 传播...

• 红衣主教

• 在10篇文章中引用[sw06999]
• 重写约束通过实验验证了该方法的有效性。。。结果。我们展示了传播 限制条件在集合基数上，通过比较基数和。。。使用有限的约束 传播关于基数。此外，为了进一步扩展建模。。。效率，我们要积极考虑广义基数限制条件重设除基数以外的函数。。。

• 巧克力

• 引用了65篇文章[sw06254]
• 约束编程（CP）。它建立在基于事件的基础上传播具有可回溯结构的机构。。。

• BACP公司

• 参考6篇文章[sw03472]
• 遗传算法与约束 传播为了BACP约束满意度问题（CSP）提供。。。局部搜索与约束 传播“，选择。笔记计算。。。ERCIM工作组研讨会限制条件，12 p.（2001年），可在http://arxiv.org/abs/cs/0110007v1]...

• CLPS-B公司

• 参考7篇文章[sw00132]
• 约束域、一致性验证和约束 传播. 它比大多数人都强大约束系统。。。抽象层次。约束状态传播B规范的不确定性。。。

• 城市污水处理厂

• 参考7篇文章[sw09701]
• 满意度问题，使能负和区间约束 传播，分别用非号角魔法来压制。。。

• STR2

• 在10篇文章中引用[sw14873]
• 算法已经被提出传播桌子限制条件和/或压缩它们的表示。在这个。。。

• TCAS系统

• 引用5篇文章[sw21413]
• 献身的约束结合的求解过程约束 传播用线性规划来解决条件析取。。。

• 产量

• 引用5篇文章[sw31658]
• 有限差异搜索（LDS）。它集成约束 传播以及变阶学习。学习计划。。。

• 斯皮迪

• 引用8篇文章[sw00896]
• 程序诉诸（向前或向后）传播属于限制条件，典型的（凸的并）多面体。。。也许是set的主要缺点-传播reach集逼近程序是指它们。。。