• BARON

  • Referenced in 324 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • SCIP

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

  • Referenced in 594 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...
  • ICOS

  • Referenced in 16 articles [sw04007]
  • ICOS: a branch and bound based solver for...
  • LINDO

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

  • Referenced in 132 articles [sw04587]
  • MINTO is a software system that solves mixed...
  • GLOBALLib

  • Referenced in 30 articles [sw04653]
  • GLOBALLib is a collection of Nonlinear Programming models...
  • INTOPT_90

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

  • Referenced in 38 articles [sw04760]
  • The COCONUT Environment is a modular solver environment...
  • QP

  • Referenced in 14 articles [sw04811]
  • QP: information and links related to the wonderful...
  • AIMMS

  • Referenced in 100 articles [sw04912]
  • AIMMS is an optimization technology that enables you...
  • GAMS

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

  • Referenced in 78 articles [sw06172]
  • MINLPLib -- a collection of test models for mixed...
  • GlobSol

  • Referenced in 38 articles [sw06724]
  • GlobSol: history, composition, and advice on use The...
  • Chaff

  • Referenced in 573 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability...
  • ANTIGONE

  • Referenced in 90 articles [sw09241]
  • ANTIGONE: algorithms for coNTinuous/Integer global optimization of nonlinear...
  • coco_gop_ex

  • Referenced in 4 articles [sw10850]
  • Bound constrained interval global optimization in the COCONUT...
  • QuadProgBB

  • Referenced in 33 articles [sw13485]
  • QuadProgBB: Globally solving nonconvex quadratic programming ...