• SMT-LIB公司

  • 引用了190篇文章[sw04103]
  • 通用标准和图书馆属于基准会大大方便评估。。。与TPTP的方式相同图书馆做过定理证明。。。
  • CSPLib公司

  • 引用92篇文章[sw04150]
  • 提交新问题一篇关于图书馆(在postscript或html中)及其bibtex。。。报告页)相关列表基准 图书馆链接到约束求解器历史。。。
  • PSPLIB公司

  • 引用267篇文章[sw00740]
  • 项目调度问题图书馆我们提供一套基准评估的实例。。。现场。因此,研究人员可以下载基准他们需要的评估他们的。。。在实地取得的进展图书馆将不断扩大新的成果。。。
  • 佩斯里布

  • 引用57篇文章[sw26344]
  • 佩斯普里布:这是一个基准 图书馆作为周期性事件调度问题介绍。。。
  • StarExec公司

  • 引用了45篇文章[sw08839]
  • 解决研究人员管理的基础设施问题基准 图书馆,社区成员资格,并提供解算器执行。。。
  • 花花公子

  • 在39篇文章中引用[sw15623]
  • 水力和环境研究。花花公子是图书馆水力学的浅水解析解。。。很容易找到一个适应性强的模型基准 图书馆验证数值方法。SWASHES软件。。。
  • 大锤

  • 引用128篇文章[sw07047]
  • 种类基准伊莎贝尔和TPTP图书馆大锤提供了一个理想的试验台。。。
  • 柠檬

  • 引用48篇文章[sw05043]
  • 替代这些广泛使用的图书馆,以及我们的基准显示出它通常比他们表现得更好。。。
  • DPPD公司

  • 在14篇文章中引用[sw09884]
  • 几十道题偏扣)图书馆属于基准。由迈克尔·鲁舍尔负责维护。建议,评论。。。mal@ecs.soton.ac.uk。这个图书馆旨在成为基准部分扣除。。。库萨利克基准)包含太少基准,大多数都太简单太小了。。。图书馆,但部分扣除。这个图书馆包含基准包括声明性逻辑程序,一起。。。
  • 滑溜

  • 引用了83篇文章[sw01095]
  • 标准化:标准化图书馆基于严格的编程和文档标准;7标杆管理...
  • 明托克

  • 引用15篇文章[sw08854]
  • 基准 图书馆混合整数最优控制问题。主要目的是提供算法。。。
  • 完成

  • 引用57篇文章[sw06359]
  • 测试示例。这个图书馆可用于测试和标杆管理线性半定的算法。。。
  • ASlib公司

  • 参考11篇文章[sw15088]
  • ASlib:一个基准 图书馆算法选择。算法选择的任务包括选择。。。
  • 施蒂尔马克

  • 在34篇文章中引用[sw19164]
  • 水印系统和第一个基准在释放之后。。。快速评估水印图书馆这是StirMark的目标基准服务项目。。。这是新工具基准评估引擎,你可以从这个下载。。。轻松插入水印图书馆所以它可以用一个评估配置文件来评估。。。
  • 包装2

  • 引用9篇文章[sw00666号]
  • PackLib 2,第一个完全集成的基准 图书馆对于多维包装实例。打包。。。
  • CBLIB公司

  • 引用5篇文章[sw13433]
  • CBLIB:2014年基准 图书馆用于二次曲线混合整数和连续优化。圆锥曲线基准...图书馆(CBLIB 2014)是100多个圆锥曲线优化实例的集合。。。政策。这是第一次基准 图书馆对于圆锥曲线混合的推进场。。。
  • 比萨

  • 参考文献62篇[sw01397]
  • 图书馆即优化问题(测试和基准问题),选择模块。。。
  • mpFq公司

  • 引用19篇文章[sw09337]
  • 运行时的字段。这个图书馆用于呈现基准一些曲线型的公众。。。
  • ILTP

  • 引用28篇文章[sw00437]
  • 定理证明图书馆为测试和标杆管理自动定理证明。。。ILTP中存在问题的结果图书馆...