• ABAQUS

  • Referenced in 1594 articles [sw04215]
  • reduce costs and inefficiencies, and gain a competitive advantage...
  • MiniSat

  • Referenced in 565 articles [sw00577]
  • crafted” categories of the SAT 2005 competition...
  • CGS

  • Referenced in 308 articles [sw08225]
  • author is that this combination is a competitive solver for nonsymmetric linear systems, at least...
  • Neural Network Toolbox

  • Referenced in 178 articles [sw07378]
  • unsupervised learning with self-organizing maps and competitive layers. With the toolbox you can design...
  • CONOPT

  • Referenced in 168 articles [sw02791]
  • concludes that GRG codes can be very competitive with other codes for large-scale nonlinear...
  • k-means++

  • Referenced in 166 articles [sw21622]
  • obtain an algorithm that is Θ(logk)-competitive with the optimal clustering. Preliminary experiments show...
  • SATzilla

  • Referenced in 99 articles [sw06281]
  • instances solved, or score in a competition). The excellent performance of SATzilla was independently verified ... Competition, where our SATzilla07 solvers won three gold, one silver and one bronze medal ... including instances from the most recent SAT competition...
  • Yices

  • Referenced in 154 articles [sw04436]
  • MaxSMT (and, dually, unsat cores) and is competitive as an ordinary SAT and MaxSAT solver...
  • PDDL

  • Referenced in 103 articles [sw07079]
  • challenges of application. The International Planning Competitions have acted as an important motivating force behind ... language, PDDL2.1, that was used in the competition. We describe the syntax of the language...
  • PASCAL VOC

  • Referenced in 139 articles [sw36507]
  • standardised evaluation software; and (ii) an annual competition and workshop. There are five challenges: classification...
  • Gfan

  • Referenced in 121 articles [sw04698]
  • ordinary Gröbner basis computations Gfan is not competitive in speed compared to programs such...
  • GrabCut

  • Referenced in 115 articles [sw15842]
  • moderately difficult examples the proposed method outperforms competitive tools...
  • Taylor

  • Referenced in 96 articles [sw10816]
  • some examples, showing that it is very competitive in many situations. This is especially true...
  • GWO

  • Referenced in 96 articles [sw40816]
  • algorithm is able to provide very competitive results compared to these well-known meta-heuristics...
  • PSwarm

  • Referenced in 68 articles [sw00742]
  • showed that the resulting algorithm is highly competitive with other global optimization methods based only ... global optimization) and the results confirm its competitiveness in terms of efficiency and robustness...
  • MACS-VRPTW

  • Referenced in 83 articles [sw06303]
  • updating. We show that MACS-VRPTW is competitive with the best known existing methods both...
  • RIEMANN

  • Referenced in 72 articles [sw09351]
  • modern processor is shown to be cost-competitive with schemes that are based...
  • Serpent

  • Referenced in 49 articles [sw21989]
  • finalist in the AES competition. The winner, Rijndael, got 86 votes at the last ... fastest version at the time of the competition ran at over 45 Mbit/sec...
  • PRINCE

  • Referenced in 61 articles [sw13240]
  • within one clock cycle with a very competitive chip area compared to known solutions...