• SDPT3

  • 591篇参考文献[SW0400 9]
  • 软件设计为解决锥规划问题约束圆锥是一种产品…还利用低秩结构约束矩阵相关联的半字节块,如果这样…显示此通用代码可以解决超过80%的总…
  • 塞杜米

  • 1147篇参考文献[SW042]
  • 解决对称锥上的优化问题,即它不仅允许线性约束条件
  • 斯诺普

  • 487篇参考文献[ SW023 00 ]
  • 解决目标中具有光滑非线性函数的约束优化问题约束条件. 在这里。。。一阶导数是可用的,并且约束梯度是稀疏的。我们讨论…解决QP子问题。它是为成千上万的问题而设计的。约束条件
  • 扣环

  • 90篇参考文献[SW07095]
  • 布尔区域的技术约束 解决. 主要的CLAP算法依赖于冲突…
  • Prolog语言

  • 68篇参考文献[SW0618]
  • 免费Prolog编译器约束 解决丹尼尔迪阿兹开发的有限域。GNU PROlog…
  • 奴才

  • 47篇参考文献[SW10176]
  • 问题大小---微型计算机提供可扩展性约束 解决. 奴才是通用的约束求解者…现在的约束工具包,这是为了提供更多的建模和解决选项,有…走向PuGET的“模型与运行”约束 解决范式。。。
  • 再摊铺机

  • 50篇参考文献[SW04401]
  • 算法852 RealPaver:非线性约束 解决严格的全局优化。问题:RealPaver允许建模和解决一组解的存在性约束条件. 此外,它还可以附上…具有确定性的最优化问题的最优解解决方法:RealPaver实现正确的舍入区间。从不同的领域:区间定点算子,约束传播和局部一致性技术,局部优化…
  • SOC

  • 119篇参考文献[ SW077 37 ]
  • 稀疏线性代数技术解决非常大的优化问题数量级比…超过100000个变量约束条件现在可以解决了的有效地在台式电脑上…
  • 克林贡

  • 36篇参考文献[SW09892]
  • 应答集编程(ASP)约束 解决.约束条件超越非线性有限整数…
  • 数字的

  • 46篇参考文献[SW21227 ]
  • 教科书和科学论文。这个约束-解决数值算法是基于组合的…如区间和局部方法,以及约束满意技术。全面介绍数字描述…浅谈如何有效地使用数字解决实际问题和报告数…
  • 彗星

  • 69篇参考文献[ SW03051 ]
  • 基本方法论解决各种组合问题,丰富约束编程语言有…介绍一种方法解决组合优化问题约束编程和本地搜索…
  • CFQSP

  • 60篇参考文献[SW04688]
  • 解决(大规模)约束非线性(MIMPAX)优化问题,生成满足所有不等式的迭代约束条件. CFQP…惩罚非线性等式的函数约束仅违规。什么时候?解决许多顺序相关的问题…约束条件(或目标),如离散半无限规划(SIP)问题,CFQSP给用户…选择使用高效的算法解决这些问题,大大降低了计算工作量…
  • QOCA

  • 29篇参考文献[SW076]
  • 描述面向对象约束 解决工具包,QOCA,设计用于交互式图形应用程序…基于度量空间模型约束操纵。在这个模型中与……相互作用依靠保持约束条件进入解决了的形式和依赖于新的算法…界面设计与速度约束 解决
  • 禁忌搜索

  • 1028篇参考文献[SW08566]
  • 用户了解基本实现原则解决组合或非线性问题。我们还确定…模型元素,如新类型的约束条件和目标函数。同样,方法本身…
  • 自我

  • 305篇参考文献[ SW075 88 ]
  • 解决具有附加线性、非线性和整数的有代价的盒有界全局优化问题约束条件
  • 解算器

  • 68篇参考文献[SW04334 ]
  • RSOVER是一个程序解决量化不等式约束条件. 像投射解决方案那样的问题…
  • TSPTW

  • 35篇参考文献[SW04709]
  • 混合方法解决合并的TSPTW约束规划传播算法的可行性…全球约束条件约束编程约束 解决技术,使得到的框架有效…
  • 男爵

  • 299篇参考文献[ SW000 066 ]
  • 混合整数非线性问题解决了的用软件。分支和减少优化…导航器从其组合派生其名称。约束传播、区间分析和二元性…
  • 科普特

  • 161篇参考文献[SW02691]
  • 算法解决具有稀疏非线性的大规模非线性规划约束条件. 本文将讨论…