• DLMF

• 引用了2809篇文章[sw04968]
• NIST数学函数数字图书馆。全国。。。

• 伽马

• 引用866篇文章[sw04978号]
• 通用代数建模系统（GAMS）是专门针对。。。

• NBI公司

• 引用208篇文章[sw05075]
• 法向边界交集：一种新的生成方法。。。

• VRP公司

• 参考1069篇文章[sw05207]
• 车辆路径问题（VRP）是一个重要的问题。。。

• 通用电气代码

• 引用82篇文章[sw06272号]
• Gecode是一个开发基于约束的。。。

• 斑点

• 引用87篇文章[sw06347]
• SPOT：顺序参数优化，R-程序包用于顺序。。。

• MOEA/日

• 引用274篇文章[sw06583]
• MOEA/D框架。进化启发式的实验分析。。。

• 毕业生

• 引用了29篇文章[sw06711]
• 网格应用开发软件的目标。。。

• 图规划

• 引用186篇[sw07746]
• 通过规划图分析快速规划。我们介绍。。。

• 葡萄糖

• 引用47篇文章[sw07833]
• 葡萄糖SAT解算器。葡萄糖是基于。。。

• Hadoop公司

• 引用131篇文章[sw08481]
• ApacheHadoop软件库是一个框架。。。

• 禁忌搜索

• 参考1066篇文章[sw08556]
• 禁忌搜索的用户指南。我们。。。

• 向外旋转

• 引用了45篇文章[sw08660]
• 向外旋转：一个工具，用于四舍五入解。。。

• 超刀具

• 引用了29篇文章[sw08911]
• 超工具：讯息传递系统的程式设计辅助工具。。。

• 奥斯陆

• 引用107篇文章[sw09295]
• 内点线性规划法在中国的应用。。。

• 糖

• 27条引用[sw09758]
• Sugar是一个基于SAT的约束求解器。约束。。。

• 阿苏卡尔

• 引用5篇文章[sw10083]
• Azucar：一个基于SAT的CSP求解器，使用Compact。。。

• GCG公司

• 引用25篇文章[sw10533]
• GCG是一个通用的分支削减和价格。。。

• 模拟电网

• 在26篇文章中引用[sw10566]
• SIMGRID：一个模拟应用程序的工具包。。。

• 提罗

• 引用8篇文章[sw11680]
• TILOS：晶体管尺寸的正态规划方法。。。