• 糠

• 557篇参考文献[SW06916]
• 布尔运算的高效实现约束 传播（BCP）和一种新的低开销决策策略…

• 男爵

• 294篇参考文献[ SW000 066 ]
• 从其组合派生其名称。约束 传播区间分析和二元性的约简…

• 豆渣

• 121篇参考文献[SW04802]
• 类似于基于舍入的过程约束 传播-一个基本工具约束编程广泛的…

• ILOG调度

• 58篇参考文献[SW21243]
• 高度优化约束 传播程序现在是可用的；可扩展的作为考虑…

• 再摊铺机

• 50篇参考文献[SW04401]
• 不同的领域：区间定点算子，约束 传播局部一致性技术，局部优化…

• BL数据集

• 25篇参考文献[SW08330]
• 约束 传播和分解技术的高度分离和高度累积的项目调度问题…近年来，约束满意技术已成功应用于“分离”调度问题，即调度问题。“累计”调度的面积。倍数约束 传播已经开发了累积资源的算法…有效地并行执行。新约束 传播并介绍了问题分解技术。

• 基准点

• 23篇参考文献[SW04612]
• 混杂系统的安全验证约束 传播基于抽象精化，本文讨论了…附加细化步骤约束 传播在不引入…的情况下向抽象添加信息…复杂的不安全状态约束条件而不是对应于网格的集合…哪一个可以运行约束 传播基于求解器。第一次测试这样的实现…

• 球溶胶

• 37篇参考文献[SW0624]
• 从区间分析，自动微分，以及约束 传播为无约束提供验证的解决方案。

• TSPTW

• 35篇参考文献[SW04709]
• 求解合并的TSPTW约束编程传播算法的可行性观点（查找…嵌入全球的运筹学优化技术约束条件和约束编程约束解决技术，使…

• 伊克索普

• 14篇参考文献[SW12331 ]
• 区间内单调性的利用约束 传播…

• 红衣主教

• 10篇参考文献[SW0699]
• A上的重写规则约束并通过实验说明了它的有效性。结果我们展示了传播 约束条件关于集合基数，通过比较基数与…使用更有限的量约束 传播基数上。此外，进一步扩展建模…效率，我们推广基数积极考虑约束条件除了基数以外的过集函数…

• 天蓝

• 9篇参考文献[ SW07280]
• Skyblue：一个多元化的地方传播 约束解决方案为用户界面构建多个用户界面…维护约束条件是多路径局部的传播在哪里约束条件用方法集表示…满足一组约束条件一个地方传播求解器从每个约束执行一种方法。增量约束使用本地的解算器传播维持一套约束条件作为个人…

• 乔可

• 58篇参考文献[SW06254]
• 约束编程（CP）。它是建立在基于事件的基础上的。传播具有可追踪结构的机构…

• BACP

• 6篇参考文献[SW034 72]
• 遗传算法与遗传算法的杂交约束 传播对于BACP约束满意问题（CSP）提供…局部搜索杂交约束 传播“。注释计算机…ECIM WG研讨会约束条件，12 P.（2001），可在http://ARXIV.ORG/ABS/CS/011007V1]…

• CLS-B

• 7篇参考文献[SW0132]
• 约束域、一致性验证和约束 传播. 它比大多数力量更强大约束系统抽象层次。约束状态传播B规范的非决定性…

• MGTP

• 7篇参考文献[SW09701]
• 满意度问题，使负和区间约束 传播分别对非角魔集进行压制…

• STR2

• 10篇参考文献[SW1483]
• 算法已被提出传播表约束条件和/或压缩它们的表示。在这…

• 中国科学院

• 5篇参考文献[SW21413]
• 献身的约束求解结合的过程约束 传播用线性规划求解条件析取…

• 斯皮迪

• 7篇参考文献[SW0896]
• 诉诸于（向前或向后）的程序传播属于约束条件，通常（凸的结合）多面体…可能是SET的主要缺点传播到达集合近似过程是它们…

• 卡马

• 4篇参考文献[SW0785]
• 布尔的文字监视方案约束 传播（BCP），基于冲突的学习与识别第一…