
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]
 TangentLinear 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.,IFACPapersOnline48 (2015), 981), custom relaxations for various functions (including severalfunctions relevant ... implements specialized 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 highlevel 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 largescale constrained...

CONOPT
 Referenced in 147 articles
[sw02791]
 CONOPT is a generalized reducedgradient (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 nonconnvex...

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...