• libMC

  • Referenced in 36 articles [sw06615]
  • intermediate variables via interval analysis and McCormick relaxation techniques [3]. Because McCormick relaxations are generally...
  • MINOTAUR

  • Referenced in 16 articles [sw06268]
  • yields tighter relaxations than the standard McCormick relaxation. We present computational results for an approach...
  • amodMC

  • Referenced in 4 articles [sw06614]
  • Adjoint mode computation of subgradients for McCormick relaxations In [{it A. Mitsos}, {it B. Chachuat ... propagation of, in general nondifferentiable, McCormick relaxations [see, e.g., {it G. P. McCormick}, Math. Program ... performs the automatic propagation of the relaxation and of corresponding subgradients based on the principles ... computation of subgradients for McCormick relaxations is presented. A corresponding implementation by overloading in Fortran...
  • modMC

  • Referenced in 2 articles [sw06616]
  • Tangent-Linear Subgradients for McCormick Relaxations(modMC) modMC implements the calculation of subgradients of McCormick...
  • MAiNGO

  • Referenced in 1 article [sw27878]
  • MAiNGO: McCormick based Algorithm for mixed integer Nonlinear Global Optimization. MAiNGO is a deterministic global ... original variable space through the use ofMcCormick relaxations (i.e., no introduction of auxiliary variables) through ... Chachuat etal.,IFAC-PapersOnline48 (2015), 981), custom relaxations for various functions (including severalfunctions relevant ... implements spe-cialized heuristics for tightening McCormick relaxations as well as a multistart heuristic. Thisreport...
  • BARON

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

  • Referenced in 31 articles [sw00442]
  • Algorithm 681: INTBIS, a portable interval Newton/bisection package...
  • Matlab

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

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

  • Referenced in 459 articles [sw02300]
  • SNOPT: An SQP algorithm for large-scale constrained...
  • CONOPT

  • Referenced in 147 articles [sw02791]
  • CONOPT is a generalized reduced-gradient (GRG) algorithm...
  • CPLEX

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

  • Referenced in 43 articles [sw04332]
  • The program SolvOpt (Solver for local optimization problems...
  • Couenne

  • Referenced in 54 articles [sw04347]
  • Branching and bounds tightening techniques for non-connvex...
  • DIFSUB

  • Referenced in 101 articles [sw04370]
  • Algorithm 407 — DIFSUB for solution of ordinary differential...
  • RealPaver

  • Referenced in 50 articles [sw04401]
  • Algorithm 852 Realpaver: nonlinear constraint solving & rigorous global...
  • LINDO

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

  • Referenced in 12 articles [sw04663]
  • Algorithm 811: NDA: algorithms for nondifferentiable optimization. We...
  • INTOPT_90

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

  • Referenced in 49 articles [sw04863]
  • FADBAD++ implements the forward, backward and Taylor methods...