• SDPNAL+

  • Referenced in 59 articles [sw13239]
  • outperforms, by a significant margin, two other competitive publicly available first order methods based codes...
  • MOPSO

  • Referenced in 59 articles [sw18795]
  • results indicate that our approach is highly competitive with current evolutionary multiobjective optimization techniques...
  • Treengeling

  • Referenced in 57 articles [sw13314]
  • Competition and thus won 4 Gödel medals during the FLoC’14 Olympic Games...
  • WASP

  • Referenced in 56 articles [sw09565]
  • system track of the third ASP Competition...
  • CPAchecker

  • Referenced in 54 articles [sw07408]
  • explicit-state analysis and predicate analysis. (Competition contribution). CPAchecker is an open-source framework...
  • LED

  • Referenced in 53 articles [sw18983]
  • proposed architecture provides very competitive area-throughput trade-offs. In comparison with other recent lightweight...
  • Piccolo

  • Referenced in 52 articles [sw13242]
  • remarkable. Thus, Piccolo is one of the competitive ultra-lightweight blockciphers which are suitable...
  • NINJA

  • Referenced in 37 articles [sw02398]
  • been made, and Java now can be competitive with C/C++ in many important situations, significant ... Java environment show that Java can be competitive in performance with highly optimized and tuned...
  • zChaff

  • Referenced in 37 articles [sw04757]
  • handmade benchmark categories in the SAT 2002 Competition, and the Best Complete Solver ... industrial benchmark in the SAT 2004 Competition. It is a popular solver...
  • SWIFFT

  • Referenced in 48 articles [sw11588]
  • algorithm. The throughput of our implementation is competitive with that of SHA-256, with additional...
  • Glucose

  • Referenced in 47 articles [sw07833]
  • page summarizes the techniques embedded in the competition 09 version of glucose. Solver’s name...
  • DepQBF

  • Referenced in 46 articles [sw09734]
  • participated in QBFEVAL’10. See the competition website for performance results. For bug reports...
  • YalSAT

  • Referenced in 25 articles [sw31644]
  • crafted track of the SAT competition. In particular ideas around ProbSAT showed that local search ... competitive on certain hard satisfiable but non-random instances using a simple and beautiful variant ... cube-and-conquer algorithm. In the SAT competition 2017 it actually turned out that YalSAT ... random track in the SAT competition 2016 was missing...
  • Sugar

  • Referenced in 27 articles [sw09758]
  • constraint categories at the International CSP Solver Competitions in 2008 and 2009, and of four ... International Max-CSP Solver Competition. See the results of Sugar in CSP Solver Competitions...
  • MLMSRBF

  • Referenced in 43 articles [sw07571]
  • lower dimensional problems. Global MSRBF is competitive with the other alternatives on most...
  • RTRMC

  • Referenced in 43 articles [sw20435]
  • known entries. The proposed methods are competitive with state-of-the-art algorithms...
  • MBSPACK

  • Referenced in 41 articles [sw02146]
  • designed to provide a versatile and competitive simulation tool. Several industrial applications illustrate the performance...
  • PDNET

  • Referenced in 40 articles [sw04752]
  • Computational results indicate that the implementation is competitive with state-of-the-art network flow...
  • SHOP2

  • Referenced in 28 articles [sw17940]
  • distinguished performance in the 2002 International Planning Competition. This paper describes the features of SHOP2 ... which enabled it to excel in the competition, especially those aspects of SHOP2 that deal...
  • STAN

  • Referenced in 38 articles [sw03348]
  • Graphplan, competed in the first international planning competition at AIPS’98 and demonstrated interesting performance...