• 萨特拉

  • 引用86篇文章[sw06281]
  • 竞争,我们的SATzilla07解算器三金一银一铜。。。自动化,并通过集成地方的搜索解算器作为候选人解算器,通过预测性能。。。
  • UG公司

  • 引用了190篇文章[sw04596]
  • 对适应性感兴趣地方的非结构网格上的网格细化,多重网格解算器并行化技术。。。
  • 溶剂

  • 引用48篇文章[sw04332]
  • 程序SolvOpt(解算器对于地方的优化问题)是关于最小化或最大化的非线性。。。
  • HLLC公司

  • 引用了53篇文章[sw06530]
  • “亚音速”波配置的流动。这个解算器完全非线性。它也是完整的。。。非保守系统。最后,我们使用本地新HLLC解算器对于Baer-Nunziato方程。。。
  • 雅尔萨

  • 引用13篇文章[sw31644]
  • YalSAT又一个本地搜索解算器. 2012年前后地方的搜索解算器变得更加强壮。。。我们的新的ProbSAT算法地方的搜索SAT解算器YalSAT证实了它的有效性。。。很惊讶地方的搜索解算器能够解决一些。。。亚尔萨在一号地方的并行SAT处理阶段的搜索解算器Treengeling,这。。。
  • 局部求解器

  • 引用15篇文章[sw04850]
  • LocalSolver 1.x:一个黑盒地方的-搜索解算器用于0-1编程。这篇论文。。。LocalSolver 1.x,一个黑匣子地方的-搜索解算器用于一般0-1编程。这个。。。实际分辨率解算器基于高效可靠地方的-搜索技术。起动。。。现有黑盒树搜索范围解算器(整数或约束编程)。勾勒出。。。
  • ICOS公司

  • 引用15篇文章[sw04007]
  • 包含线性规划的接口解算器地方的优化解算器(例如Coin/Clp、Cplex。。。
  • 萨滕斯坦

  • 17条引用[sw14233]
  • SATenstein:自动生成地方的搜索SAT解算器从组件。设计高性能解算器为了计算。。。考虑随机设计地方的搜索(SLS)解算器对于命题可满足性问题。。。
  • 目标

  • 引用13篇文章[sw15098]
  • 目标解算器:混合动力地方的基于搜索解算器高中的时间表。这部作品呈现了。。。地方的高中时间表问题的搜索方法。寻址时间表模型。。。优化和算法组),开发了一个解算器根据金斯敦高中的时间表。。。基于模拟退火和迭代的元启发式算法本地搜索。所开发的算法是赢家。。。
  • 清亭1

  • 参考7篇文章[sw04452]
  • 地方的搜索SAT解算器使用一个有效的交换策略和一个有效的单位传播进步。。。地方的-搜索SAT解算器传统上。。。是在地方的搜索解算器只有。最新的。。。调用其中一个地方的搜索解算器:WalkSAT或QingTing1。这个地方的搜索解算器...
  • 天蓝色

  • 在10篇文章中引用[sw07280]
  • 天蓝:多向地方的传播约束解算器为用户界面构造许多用户界面。。。工具箱使用约束解算器保持图形对象之间的几何关系,或连接。。。满足一组约束条件,a地方的传播解算器从每个方法执行SkyBlue.one约束。。。增量约束解算器使用地方的传播以保持一组单独的约束。。。
  • 水瓶

  • 参考11篇文章[sw07570]
  • MLSL)与两种类型的地方的 解算器:SQP和网格自适应直接搜索(MADS。。。
  • 游泳池++

  • 引用72篇文章[sw11964]
  • 地方的矩阵生成阶段与为线性系统开发的并行化技术相结合解算器... 这项研究是由繁重的计算决定的地方的矩阵生成阶段。。。
  • MFEM公司

  • 参考33篇文章[sw09043]
  • 三角形和四面体网格的情况,地方的细化(包括并行)。一般元素转换,允许。。。存储,包括简单的平滑剂和Krylov解算器如PCG、GMRES和biggstab。。。支持并行地方的精细化和平行曲线网格,以及一些解算器从。。。
  • CGAL公司

  • 引用360篇文章[sw00118]
  • 参数化,以及地方的微分性质,和脊和脐的近似。。。矩阵搜索框架和解算器对于线性和二次规划。它还提供接口。。。
  • Maple全局优化工具箱

  • 在149篇文章中引用[sw00358]
  • 可能有许多本地最佳解决方案。全局优化问题。。。然后使用世界级的枫木数字解算器为了得到最好的答案,快。。。
  • CCASat卫星

  • 参考11篇文章[sw12924]
  • 我们得到一个地方的搜索SAT解算器叫做CCASat,排名第一。。。
  • 副西普

  • 引用了29篇文章[sw06292]
  • 解算器作为独立运行的进程来解决子问题(分支树的节点)本地. 这个。。。MIP的标准测试集库解算器. 对于这些计算,我们使用。。。
  • MSNLP公司

  • 引用3篇文章[sw03052]
  • 展示NLP的广泛应用地方的 解算器CONOPT和SNOPT在使用时比较。。。