• 拉帕克

  • 在1677篇文章中引用[sw00503]
  • LAPACK是用Fortran 90编写的,它提供。。。
  • 超小卫星

  • 引用558篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • 希萨特

  • 引用25篇文章[sw01980]
  • HySAT:一个有效的有界模型证明引擎。。。
  • 鼻涕

  • 引用文献532篇[sw02300]
  • SNOPT:一个求解大规模约束问题的SQP算法。。。
  • 法弗

  • 引用116篇文章[sw04123]
  • 在1995年,海因奇作为一个。。。
  • 林多

  • 引用548篇文章[sw04448]
  • 林多系统优化软件:整数规划,线性规划。。。
  • 伊波特

  • 参考710篇文章[sw04808]
  • Ipopt(内部点优化器,发音为eye pea OPTimizer。。。
  • z3型

  • 参考文献562篇[sw04887]
  • Z3是一个高性能的定理证明器。。。
  • 术语

  • 在311篇文章中引用[sw04942]
  • 行话是一个综合性的工具,旨在使。。。