• ABAQUS

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

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

  • Referenced in 329 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...
  • k-means++

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

  • Referenced in 171 articles [sw02791]
  • concludes that GRG codes can be very competitive with other codes for large-scale nonlinear...
  • SATzilla

  • Referenced in 100 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 157 articles [sw04436]
  • MaxSMT (and, dually, unsat cores) and is competitive as an ordinary SAT and MaxSAT solver...
  • PASCAL VOC

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

  • Referenced in 106 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...
  • Gfan

  • Referenced in 123 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...
  • GWO

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

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

  • Referenced in 70 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 84 articles [sw06303]
  • updating. We show that MACS-VRPTW is competitive with the best known existing methods both...
  • RIEMANN

  • Referenced in 83 articles [sw09351]
  • modern processor is shown to be cost-competitive with schemes that are based...
  • Faster R-CNN

  • Referenced in 71 articles [sw42495]
  • image. In ILSVRC and COCO 2015 competitions, Faster R-CNN and RPN are the foundations...
  • Serpent

  • Referenced in 50 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...