-
通用电气代码
- 引用63篇文章[sw06272号]
- 应用。Gecode提供了一个约束求解器状态-艺术表演是模块化的。。。系统。它支持新的限制条件分支策略和搜索引擎。新建变量。。。
-
迪科尔
- 引用23条[sw04776]
- 控制和控制的控制问题状态 限制条件作为带有NPSOL或SNOPT的NLP解决。。。
-
仆从
- 引用49篇文章[sw10176]
- 仆从是新来的约束解算器，这是非常快速和规模很好的问题。。。震级性能提高状态-最先进的约束工具箱。这些收益随着问题而增加。。。
-
ILOG计划
- 参考第62条[sw21243]
- 并希望约束像SCHEDULE这样的编程工具将使行业。。。为了实现状态-高度灵活的艺术，约束-基于调度应用程序。。。
-
特里斯
- 引用46篇文章[sw05197]
- 一类非线性等式极小化问题限制条件还有一些简单的边界。。。最优控制问题。算法处理州和控制作为自变量。它们的设计。。。线性化的限制条件但是使用线性化的解状态方程和伴随方程。他们。。。关于界的严格可行性限制条件提出了一种仿射标度法。。。
-
美国铝业
- 27条引用[sw09481]
- 美国铝业：合金约束分析仪。美国铝业是一个分析对象模型的工具。。。Alloy支持描述状态涉及复杂。。。关系结构。州行为属性是通过限制条件. 这使得。。。翻译作品限制条件，然后应用状态...
-
阿达格勒
- 引用97篇文章[sw22202]
- 限制条件. 我们通过实验研究了我们的理论分析，并表明自适应次梯度方法的性能优于状态...
-
西科诺斯
- 在10篇文章中引用[sw25724]
- 系统，微分包含，最优控制状态 限制条件)优化（互补系统和变分不等式），流体力学。。。
-
SOCS公司
- 参考文献124篇[sw07737]
- 刀轨定义。稀疏非线性规划开发状态-艺术的稀疏线性代数技术。。。有超过100000个变量和限制条件现在可以在桌面上高效地解决。。。
-
基准
- 引用24篇文章[sw04612]
- 开发一个额外的细化步骤约束向抽象添加信息的传播。。。最初的州而且不安全州由复合物描述限制条件而不是。。。
-
数字
- 引用46篇文章[sw21227]
- 求非线性系统的所有解限制条件所有的全局优化问题。。。全局优化使状态非线性问题的形式接近。。。出现在教科书和科学论文中。这个约束-数值求解算法是基于。。。
-
克尼特罗
- 引用175篇文章[sw00490]
- 市场上的通用解算器，提供三种状态-最先进的算法。广泛的范围。。。非线性互补问题限制条件（MPCC或MPECs）和混合整数规划。。。
-
内斯塔
- 引用120篇文章[sw06576]
- 与最近提出的算法相比，该算法具有良好的性能状态-艺术方法。我们也申请。。。标准值为$W_x$以下限制条件，其中$W$不是对角线。密码。。。
-
iProver公司
- 引用49篇文章[sw09707]
- 集成到我们的框架中。iProver包括状态-艺术实现技术，如索引。。。iProver实现的冗余消除包括：去匹配限制条件，阻止不恰当的实例化和基于命题的。。。
