• BARON

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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