• SMT-LIB公司

  • 引用196篇文章[sw04103]
  • 通用标准和图书馆属于基准这将极大地促进评估……就像TPTP一样图书馆做过定理证明。。。
  • CSPLib公司

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

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

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

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

  • 引用48篇文章[sw15623]
  • 水力和环境研究。花花公子是图书馆浅海水力学模型的解析解基准 图书馆验证数值方法。SWASHES软件。。。
  • 大锤

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

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

  • 17条引用[sw08854]
  • 基准 图书馆混合整数最优控制问题。主要目的是提供算法。。。
  • DPPD公司

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

  • 引用84篇文章[sw01095]
  • 标准化:标准化图书馆基于严格的编程和文档标准;7标杆管理...
  • 完成

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

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

  • 参考第34条[sw19164]
  • 水印系统和第一个基准通过发布…快速评估水印图书馆这是StirMark的目标基准服务项目…这个工具是新的StirMark基准评估引擎,你可以从这个下载…轻松插入你的水印图书馆所以它可以用一个评估配置文件来评估。。。
  • 包装2

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

  • 引用63篇文章[sw01397]
  • 图书馆即优化问题(测试和基准问题),选择模块。。。
  • CBLIB公司

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

  • 引用8篇文章[sw31707]
  • AClib:a公司基准 图书馆算法配置。AClib的目标是定义…标准基准为算法配置提供了坚实的经验科学基础。。。
  • 气隙

  • 引用了35篇文章【sw17977】
  • 加斯利布。A图书馆天然气网络实例。天然气是其中最重要的…提供一套庞大而现实的基准实例。。。