• SCIP公司

  • 引用425篇文章[sw01091]
  • 同时也是一个框架约束整数编程砍枝和降价。它允许。。。
  • SDPT3型

  • 引用594篇文章[sw04009]
  • 设计用于求解圆锥曲线编程谁的问题约束圆锥是半无限圆锥的产物。。。
  • 米诺斯

  • 在440篇文章中引用[sw05095]
  • 稀疏线性和非线性程序. 功能和目标限制条件可能是线性或非线性的。。。
  • 盎司

  • 引用113篇文章[sw06799]
  • 高层编程语言组合约束并发推理。Oz的典型应用领域包括。。。限制条件有强大的原语编程 约束高级推理机。。。
  • 彗星

  • 引用了70篇文章[sw03051]
  • 行程安排。在过去的二十年里,约束 编程已经成为一种基本的方法论。。。各种组合问题,且丰富约束 编程语言是用来表达。。。解决组合优化问题约束 编程和本地搜索,使用限制条件来描述。。。约束 编程. 在概述了本地搜索之后,包括。。。
  • FEASPUMP泵

  • 在122篇文章中引用[sw04802]
  • 给定混合整数的可行解编程(MIP)模型是一个非常重要的模型。。。约束传播是约束 编程. 广泛的计算结果二进制和一般。。。
  • 伊兰

  • 参考文献108篇[sw02179]
  • 定理证明器的设计,逻辑编程语言,限制条件解决方案和决策程序,并提供。。。定理证明器的设计,逻辑编程语言,限制条件解决方案和决策程序,并提供。。。研究他们的组合。ELAN从功能编程抽象数据类型的概念。。。
  • 基诺科普

  • 在1074篇文章中引用[sw04707]
  • Zbigniew Michalewicz是一种基于遗传算法的程序对于有约束和无约束的优化,写。。。函数的输入参数);附加的线性函数限制条件(方程式和不等式)可以指定。。。最好是在Sun SPARC机器上)。这个程序也可以。。。
  • 序言

  • 引用68篇文章[sw06518]
  • 丹尼尔·迪亚兹。GNU Prolog接受Prolog+约束 程序并生成本机二进制文件(就像gcc那样。。。有效率的约束有限域上的求解器(FD)。这就打开了约束逻辑编程... 用户结合了约束 编程逻辑的声明性编程...
  • ILOG计划

  • 参考61篇文章[sw21243]
  • 面向对象的通用软件工具约束 编程来自ILOG。解算器变量和限制条件... 希望和期待约束 编程像SCHEDULE这样的工具将使行业。。。最先进的“高度灵活,约束-基于计划的应用程序。。。
  • 烟雾

  • 引用238篇文章[sw04631]
  • 编码限制条件作为一个逻辑问题程序所以答案是。。。
  • 明托

  • 引用132篇文章[sw04587]
  • 线性定界算法编程放松。它还提供自动约束分类,预处理,原始启发式。。。约束一代人。此外,用户可以通过提供各种不同的算法来丰富基本算法。。。线性尺寸程序通过管理活动限制条件. 变得灵活和强大。。。
  • CONOPT公司

  • 引用162篇[sw02791]
  • 求解大规模非线性问题程序包含稀疏非线性限制条件. 本文将讨论战略。。。与其他大规模非线性代码编程从效率和可靠性来看。。。尤其是对于具有相当非线性的模型限制条件尤其是当很难达到。。。
  • MIPLIB公司

  • 引用292篇文章[sw04067]
  • 混合整数(线性)程序(mip)是一个线性目标函数。。。线性的限制条件在实数和整数值变量上。有关混合整数的详细信息编程...
  • 优化工具箱

  • 引用274篇文章[sw10828]
  • 目标同时满足限制条件. 工具箱包括线性的解算器编程,混合整数线性编程...
  • 夸夫尔

  • 参考文献62篇[sw07278]
  • 原则与实践会议约束 编程(CP2002年)。九月,九月。。。
  • 巧克力

  • 引用59篇文章[sw06254]
  • 约束满意度问题(CSP)和约束 编程(CP)。它是建立在基于事件的。。。
  • TSPTW公司

  • 引用了35篇文章[sw04709]
  • 解决合并的TSPTW约束 编程可行性观点的传播算法(发现。。。嵌入全局的技术限制条件,和约束 编程 约束解决技术,使结果框架。。。