• 卡尔玛

  • 参考105篇文章[sw03235]
  • 基于分支和切割约束 满意和近似技术,包括各种。。。
  • 巧克力

  • 引用64篇文章[sw06254]
  • CHOCO是一个用于约束 满意问题(CSP)和约束编程。。。
  • 摊铺机

  • 引用51篇文章[sw04401]
  • 非线性非凸建模与求解约束 满意以及实数上的优化问题。。。离散的,必须有界。功能和限制条件必须用解析表达式来定义。。。
  • 数字

  • 引用46篇文章[sw21227]
  • 区间和局部方法,以及约束 满意技术。这一全面的介绍Numerica描述了它的设计。。。
  • 向外旋转

  • 引用44篇文章[sw08660]
  • 最简单最自然的APX完成约束 满意问题(参见,例如[AL97])。有各种各样的。。。
  • 人力资源

  • 引用了29篇文章[sw10392]
  • 包括限制条件对于约束 满意问题,自动生成引理。。。
  • 在26篇文章中引用[sw09758]
  • 基于约束解算器。约束 满意度问题(CSP)被编码成布尔CNF公式。。。外部SAT解算器。糖也可以解决约束优化问题(COP)和最大CSP。糖。。。
  • BL数据集

  • 在26篇文章中引用[sw08330]
  • 项目调度问题。近年来,约束 满意这些技术已经成功地应用于“析取…区域”的“累积”调度约束传播算法已经发展为累积资源。。。
  • 手套

  • 引用16条[sw02776]
  • 二次型的严格全局解约束 满意问题。全局优化实验室是一个简单的。。。求解二次型的开发平台约束 满意问题,用Matlab编写。所有实现的方法。。。
  • 图尔巴尔2

  • 参考22篇文章[sw07289]
  • 马尔可夫函数,加权随机场约束 满意度问题,加权最大值,二次伪布尔。。。
  • ezcsp公司

  • 参考11篇文章[sw27479]
  • 解决方案约束 满意问题(CSP)由这样的答案定义。。。指定)作为ASP解算器,BProlog作为约束解算器。要指定其他解算器,请运行“ezcsp…”。。。
  • 阳光明媚

  • 参考11篇文章[sw31800]
  • 他们解决了一个给定的约束 满意度问题(CSP)。受到达到的性能的激励。。。如答案集编程和约束逻辑编程。。。
  • 赫利俄斯

  • 参考11篇文章[sw01440]
  • 约束逻辑程序设计语言约束 满意以及区间分析技术及其效率。。。
  • 链式卫星

  • 在10篇文章中引用[sw09444]
  • 谨慎下降法在解决随机问题中占优势约束 满意问题。我们研究随机。。。
  • 重新规划

  • 引用9篇文章[sw01619]
  • 离散资源表示为约束 满意度问题(CSP)问题,而计划员。。。效率。此外,失败驱动的学习限制条件可以作为一个优雅而有效的。。。
  • 摊铺机

  • 引用9篇文章[sw09249]
  • 全局优化和约束 满意,计算机科学课堂讲稿。。。
  • 猎鹰

  • 参考7篇文章[sw21349]
  • 有限模型被视为约束 满意问题在于公理的基本实例。。。
  • 泽塔萨

  • 参考7篇文章[sw11459]
  • 解决执行时出现的特定问题约束 满意这类问题。。。