• Matlab

  • Referenced in 12309 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 536 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • R

  • Referenced in 8601 articles [sw00771]
  • R is a language and environment for statistical...
  • SCIP

  • Referenced in 472 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • CUDA

  • Referenced in 1207 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • CPLEX

  • Referenced in 2583 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • SPSS

  • Referenced in 634 articles [sw04269]
  • SPSS is a computer program used for survey...
  • SATO

  • Referenced in 196 articles [sw04451]
  • SATO: A Solver for Propositional Satisfiability: The Davis...
  • Genocop

  • Referenced in 1081 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • Knapsack

  • Referenced in 464 articles [sw04723]
  • Knapsack problems are the simplest NP-hard problems...
  • FEASPUMP

  • Referenced in 125 articles [sw04802]
  • Feasibility pump 2.0. Finding a feasible solution of...
  • z3

  • Referenced in 509 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • GAMS

  • Referenced in 842 articles [sw04978]
  • The General Algebraic Modeling System (GAMS) is specifically...
  • VRP

  • Referenced in 1001 articles [sw05207]
  • The Vehicle Routing Problem (VRP) is one of...
  • MOEA/D

  • Referenced in 216 articles [sw06583]
  • MOEA/D framework. An experimental analysis of evolutionary heuristics...
  • SPEA2

  • Referenced in 454 articles [sw06686]
  • SPEA2 - The Strength Pareto Evolutionary Algorithm 2: SPEA2...
  • Oz

  • Referenced in 113 articles [sw06799]
  • Oz is a high-level programming language combining...
  • Sat4j

  • Referenced in 75 articles [sw07283]
  • The Sat4j library, release 2.2 system description. Sat4j...
  • DIMACS

  • Referenced in 530 articles [sw08221]
  • The DIMACS Implementation Challenges address questions of determining...