• 卡尔玛

  • 参考105篇文章[sw03235]
  • 参与者进行了优化算法基于分支和切割约束 满意,和近似技术。。。
  • 摊铺机

  • 引用了50篇文章[sw04401号]
  • 算法852 Realpaver:非线性约束全局优化求解。问题:Realpaver允许。。。非线性非凸建模与求解约束 满意以及实数上的优化问题。。。
  • 向外旋转

  • 引用44篇文章[sw08660]
  • 也可用于获得改进的近似值算法... 最简单最自然的APX完成约束 满意问题(参见,例如[AL97])。有各种各样的。。。用半定规划得到一个近似值算法...
  • 数字

  • 引用46篇文章[sw21227]
  • 教科书和科学论文。这个约束-解决算法数字是基于一个组合。。。区间和局部方法,以及约束 满意技术。这一全面的介绍Numerica描述了它的设计。。。
  • 链式卫星

  • 引用8篇文章[sw09444]
  • 随机约束 满意问题。研究了随机局部搜索的性能算法对于随机。。。
  • 夸夫尔

  • 引用63篇文章[sw07278]
  • Malik,“对冲突和满意度在量化布尔可满足性求解器中。。。原则与实践国际会议约束编程(CP2002)。伊萨卡,纽约,九月。。。文件。代码是实验性的算法仅评估。它应该在大多数情况下编译。。。
  • 产量

  • 引用4篇文章[sw31658]
  • 差异搜索(收益率),一个完整的算法为了解决约束 满意度问题。如前所述。。。有限差异搜索(LDS)。它集成约束传播与变阶学习。学习计划。。。实验验证,并与几种求解方法进行了比较算法:深度边界差异搜索,正向检查。。。
  • BACP公司

  • 参考6篇文章[sw03472]
  • 遗传杂交算法约束BACP的传播约束 满意度问题(CSP)提供。。。满足的变量的值限制条件优化给定的目标函数。。。论文,我们扩展了我们的遗传框架算法(GA)根据评审员的建议。。。
  • BL数据集

  • 引用25篇文章[sw08330]
  • 项目调度问题。近年来,约束 满意该技术已成功地应用于“析取。。。“累计”调度区域。多重约束传播算法已经开发了累积资源。。。
  • 阳光明媚

  • 参考11篇文章[sw31800]
  • 简单灵活算法利用了约束依次为解算器。。。他们解决了一个给定的约束 满意度问题(CSP)。受到达到的性能的激励。。。利用潜在的SUNNY的投资组合解决方案算法为了解决一个给定的。。。如答案集编程和约束逻辑编程。。。
  • 螺母

  • 参考第2条[sw29714]
  • 功能性约束网络。约束 满意使用算法对于自动程序综合描述。。。
  • 帕穆克

  • 引用8篇文章[sw02537]
  • 进化的算法. 基于进化的多目标优化算法(EA)已经成为一个广泛的研究领域。。。限制条件在EA中是非常关键的,一种应用于多目标和限制条件... PAMUC)已经提出,它考虑满意限制条件作为另一个目标。。。
  • 猎鹰

  • 参考7篇文章[sw21349]
  • 给定等式公理的代数。摘要算法,以及一些实现细节。。。有限模型被视为约束 满意问题在于公理的基本实例。。。
  • 布雷克斯医生

  • 1条引用[sw27493]
  • 系统可以描述为分布式约束 满意度DCSPs的目标,其中。。。对满足所有条件的变量的赋值限制条件在探员中间。然而,当实际应用程序出现问题时。。。没有能让所有人都满意的解决方案限制条件. 此外,经济全球化和民主化。。。MaxRelax和一个新的算法求解分布极大值约束 满意度问题(DMCSP。。。
  • ZDC公司

  • 1条引用[sw10499]
  • 约束 满意. ZDC配备了一套约束 算法,包括扩展引导本地。。。排班证明了申请的可行性约束 满意解决排班问题的技巧,不用。。。
  • 收入

  • 参考第2条[sw00441]
  • 提供不完整的算法优化组合问题。这个图书馆提供本地搜索。。。一些问题已经被编码,包括约束 满意度问题,图形着色,频率分配。\parINCOP。。。图书馆。用户可以轻松添加新的算法并对新问题进行编码。社区管理。。。
  • 阳光cp

  • 引用4篇文章[sw31181]
  • 约束 满意度/优化问题(CSP/COP)。CP投资组合解决方案是约束解算器。。。通过适当的利用来解决一个给定的问题算法选择技巧。在这部作品中我们呈现。。。
  • HMC公司

  • 参考6篇文章[sw09867]
  • 现为Hindley Milner Cousots(HMC),以及算法这就减少了对键入的安全属性的验证。。。生成一组逻辑求精限制条件谁的满意意味着源头的安全。。。
  • 重新规划

  • 引用9篇文章[sw01619]
  • 选择和资源分配算法. 目前的工作表明,上述。。。离散资源表示为约束 满意度问题(CSP)问题,而计划员。。。
  • 超图库

  • 1条引用[sw21113]
  • 评估我们的超树分解实现算法. 超树分解是由Gottlob引入的。。。结构分解法约束 满意. 因为超图约束 满意没有。。。