• 引用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]
  • 天蓝:一个多向的本地传播 约束解决方案为用户界面建设许多用户界面。。。维护限制条件是多路本地的吗传播,其中限制条件用方法集来表示。。。满足一组限制条件,一个本地人传播解算器从每个约束中执行一个方法。天蓝色。。。增量约束使用局部的解算器传播维持限制条件作为个人。。。
  • 红衣主教

  • 在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规范的不确定性。。。
  • STR2

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

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

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

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