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

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

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

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

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

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

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

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

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

  • 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),基于冲突的学习与识别第一…