• CGS

  • 297篇参考文献[SW08225]
  • 作者认为这种组合是竞争的求解非对称线性系统,至少…
  • 科普特

  • 162篇参考文献[SW02691]
  • 得出结论,GRG代码可以非常竞争的与其他代码的大规模非线性…
  • 耶斯

  • 135篇参考文献[SW044 36]
  • MaxSMT(和,双,unSAT核)和IS竞争的作为一个普通的SAT和Max SAT求解器…
  • 萨茨拉

  • 84篇参考文献[SW0681]
  • 实例被解决,或在A中得分竞争SATzilla的出色表现得到了独立验证…竞争我们的SasZiLL07解决者获得了三枚金牌,一枚银牌和一枚铜牌……包括最近的SAT实例竞争
  • PDDL

  • 88篇参考文献[SW07079]
  • 应用的挑战。国际规划比赛作为背后的重要推动力量语言中使用的PDDL2.1竞争. 我们描述了语言的语法…
  • 机锋网

  • 105篇参考文献[SW04698]
  • 普通Grübne基计算gfn不是竞争的在速度上与这样的程序相比…
  • k-均值+

  • 94篇参考文献[SW21622]
  • 获得一个算法是(log)竞争的具有最优聚类。初步实验表明…
  • 聚苯乙烯

  • 60篇参考文献[SW072]
  • 结果表明算法是高度有效的。竞争的与其他全局优化方法仅基于…全局优化)及其结果证实竞争力在效率和鲁棒性方面…
  • MACS-VRPTW

  • 83篇参考文献[SW06303]
  • 更新。我们表明MACS-VRPTW是竞争的用最著名的现有方法…
  • 泰勒

  • 71篇参考文献[SW10816]
  • 一些例子,说明它非常竞争的在很多情况下。尤其如此。
  • 45篇参考文献[SW21989 ]
  • AES中的决赛选手竞争. 获胜者Rijndael最后获得了86张选票。最快版本时竞争跑超过45兆位/秒…
  • 黎曼

  • 60篇参考文献[SW09351]
  • 现代处理器被证明是成本-竞争的以计划为基础…
  • 忍者

  • 37篇参考文献[SW02498]
  • 已经完成,现在Java可以竞争的C/C++在许多重要的情况下,有重要意义…Java环境显示Java可以竞争的在性能与高度优化和调谐…
  • 王子

  • 49篇参考文献[SW13240]
  • 在一个时钟周期内竞争的芯片面积与已知解决方案相比…
  • 卡帕切克

  • 46篇参考文献[SW07408]
  • 显式状态分析和谓词分析。竞争贡献)。CPAchecker是一个开源的框架…