• SeDuMi

  • Referenced in 1272 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • INTLAB

  • Referenced in 464 articles [sw04004]
  • INTLAB is the Matlab toolbox for reliable computing...
  • UCI-ml

  • Referenced in 3379 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • CPLEX

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

  • Referenced in 679 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • LINPACK

  • Referenced in 520 articles [sw04209]
  • LINPACK is a collection of Fortran subroutines that...
  • SPSS

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

  • Referenced in 74 articles [sw04334]
  • RSolver is a program for solving quantified inequality...
  • Qhull

  • Referenced in 320 articles [sw04419]
  • The convex hull of a point set P...
  • LINDO

  • Referenced in 552 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • SATO

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

  • Referenced in 480 articles [sw04618]
  • MOSEK is a tool for solving mathematical optimization...
  • CFSQP

  • Referenced in 61 articles [sw04658]
  • CFSQP Version 2.5: A C Code for Solving...
  • INTOPT_90

  • Referenced in 306 articles [sw04705]
  • Rigorous global search: continuous problems The monograph gives...
  • Genocop

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

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

  • Referenced in 230 articles [sw04732]
  • The Multi-Parametric Toolbox (MPT) is a free...