• SCIP

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

  • Referenced in 201 articles [sw02212]
  • LOQO: An interior point code for quadratic programming...
  • J-MEANS

  • Referenced in 67 articles [sw02649]
  • J-MEANS: A new local search heuristic for...
  • MOTGA

  • Referenced in 18 articles [sw02666]
  • MOTGA: a multiobjective Tchebycheff based genetic algorithm for...
  • COMET

  • Referenced in 71 articles [sw03051]
  • Constraint-Based Local Search. The ubiquity of combinatorial...
  • CPLEX

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

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

  • Referenced in 207 articles [sw04328]
  • GSAT and WalkSat are local search algorithms to...
  • GGPLAB

  • Referenced in 15 articles [sw04344]
  • GGPLAB is a Matlab-based toolbox for specifying...
  • ExSpect

  • Referenced in 11 articles [sw04390]
  • ExSpect 6.4: An executable specification tool for hierarchical...
  • LINDO

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

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

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

  • Referenced in 302 articles [sw04770]
  • Concorde is a computer code for the symmetric...
  • LINGO

  • Referenced in 293 articles [sw04942]
  • LINGO is a comprehensive tool designed to make...
  • DLMF

  • Referenced in 2225 articles [sw04968]
  • NIST digital library of mathematical functions. The National...
  • GAMS

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