• SDPT3型

  • 在602篇文章中引用[sw04009]
  • 软件旨在解决圆锥规划问题约束圆锥是一种产品。。。还可以利用约束与半无限块体相关的矩阵,如果这样。。。说明这个通用代码可以解决超过总数的80%。。。
  • 沉香

  • 引用1165篇文章[sw04002]
  • 解决对称锥上的优化问题,即它不仅允许线性限制条件...
  • 鼻涕

  • 引用497篇文章[sw02300]
  • 解决目标函数为光滑非线性函数的约束优化问题限制条件. 在这里。。。一阶导数可用约束渐变是稀疏的。我们讨论。。。解决QP子问题。它是为成千上万的问题而设计的限制条件...
  • 扣环

  • 引用90篇文章[sw07095]
  • 布尔技术约束 解决. 主要的clasp算法依赖于冲突。。。
  • 仆从

  • 引用49篇文章[sw10176]
  • 有了问题大小——仆从提供了可扩展的约束 解决. 仆从是通用的约束解算器。。。现在的约束为了提供更多的建模和解决选项,有。。。普吉的“模特和跑步”约束 解决范式。。。
  • 序言

  • 引用68篇文章[sw06518]
  • 自由Prolog编译器约束 解决在由丹尼尔·迪亚兹开发的有限域上。GNU序言。。。
  • 玩具

  • 引用了55篇文章[sw09812]
  • 解决根据需要缩小与约束 解决. 实现是基于编译。。。
  • 摊铺机

  • 引用了50篇文章[sw04401]
  • 算法852 Realpaver:非线性约束 解决&严格的全局优化。问题:Realpaver允许建模和解决... 一组解的存在性限制条件. 此外,它还可以封闭。。。确定最优化问题的最优解。解决方法:Realpaver实现正确的取整间隔为基础。。。来自不同领域:区间不动点算子,约束传播和局部一致性技术,局部优化。。。
  • SOCS公司

  • 参考文献121篇[sw07737]
  • 稀疏线性代数技术解决非常大的优化问题的数量级比。。。超过100000个变量和限制条件现在可以了解决了的在桌面计算机上有效。。。
  • 保鲜膜

  • 引用36篇[sw09892]
  • 答案集编程(ASP)约束 解决.限制条件在非线性有限整数上。。。
  • 数字

  • 引用46篇文章[sw21227]
  • 教科书和科学论文。这个约束-解决数字算法是基于一个组合。。。如区间法和局部法,以及约束满足技巧。这篇关于Numerica的综合介绍描述了。。。讨论如何有效地使用数字解决实际问题和报告数。。。
  • 彗星

  • 引用了70篇文章[sw03051]
  • 基本方法论解决各种组合问题,且丰富约束编程语言有。。。介绍一种方法解决组合优化问题约束编程和本地搜索。。。
  • CFSQP公司

  • 参考61篇文章[sw04658]
  • 解决(大规模)约束非线性(Minimax)优化问题,生成满足所有不等式的迭代限制条件. CFSQP。。。惩罚非线性等式的函数约束仅限违规。什么时候?解决许多顺序相关的问题。。。限制条件(或目标),如离散半无限规划(SIP)问题,CFSQP给用户。。。选择使用有效的算法解决方案这些问题,大大减少了计算工作量。。。
  • 库卡

  • 引用了29篇文章[sw00756]
  • 描述一个面向对象的约束 解决QOCA工具包,专为交互式图形应用程序设计。。。基于度量空间模型约束操纵。在这个模型中与。。。依靠的是限制条件在里面解决了的并依赖于新的算法。。。接口设计和速度约束 解决...
  • 禁忌搜索

  • 参考文献1034篇[sw08556]
  • 用户了解的基本实施原则解决组合或非线性问题。我们还确定。。。模型图元,例如限制条件以及目标函数。同样,方法本身。。。
  • 自我

  • 在316篇文章中引用[sw07588]
  • 解决方案具有附加线性、非线性和整数的代价盒有界全局优化问题限制条件...
  • R溶剂

  • 引用71篇文章[sw04334]
  • RSolver是一个用于解决量化不等式限制条件. 像投射解决方案之类的问题。。。
  • TSPTW公司

  • 引用36篇[sw04709]
  • 混合方法解决合并的TSPTW约束编程传播算法的可行性。。。全球的限制条件,和约束编程约束 解决技术,使结果框架有效。。。
  • 男爵

  • 引用308篇文章[sw00066]
  • 混合整数非线性问题可以解决了的使用软件。分支和还原优化。。。Navigator的名字来源于它的组合约束传播和对偶分析。。。
  • CONOPT公司

  • 引用162篇[sw02791]
  • 算法解决包含稀疏非线性的大规模非线性规划限制条件. 本文将讨论。。。