• 伏特利布

  • 1条引用[sw34752]
  • 收集用于基准测试的问题实例多种-客观的解决方案。它涵盖了多种线性目标。。。问题(多目标组合问题,多目标整数线性的程序,多目标混合的 整数 程序...
  • GTOPX公司

  • 1条引用[sw37782]
  • 三个新的问题实例混合的-整数多种-客观的属性。GTOPX可以简化。。。所有基准结果的复制编程语言。我们进行了全面的景观分析。。。
  • 阿多-C

  • 引用247篇文章[sw00019]
  • ADOL-C:C/C++的自动微分。我们呈现。。。
  • 男爵

  • 引用339篇文章[sw00066]
  • 巴龙是一个计算系统,用于解决非凸。。。
  • 兰斯洛特

  • 在304篇文章中引用[sw00500]
  • 兰斯洛特。大型非线性问题的Fortran程序包。。。
  • 莱达

  • 在262篇文章中引用[sw00509]
  • 在计算机科学的核心领域——数据结构。。。
  • 超小卫星

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

  • 引用了76篇文章[sw00678]
  • Paramils:一个自动算法配置框架。身份证明。。。
  • R

  • 引用9188篇文章[sw00771]
  • 是一种统计语言和环境。。。