• ABAQUS

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

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

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

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

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

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

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

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

  • Referenced in 94 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 125 articles [sw36507]
  • standardised evaluation software; and (ii) an annual competition and workshop. There are five challenges: classification...
  • Gfan

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

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

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

  • Referenced in 90 articles [sw10816]
  • some examples, showing that it is very competitive in many situations. This is especially true...
  • 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 70 articles [sw09351]
  • modern processor is shown to be cost-competitive with schemes that are based...
  • Serpent

  • Referenced in 48 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 59 articles [sw13240]
  • within one clock cycle with a very competitive chip area compared to known solutions...
  • MOPSO

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