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

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

amodMC
 Referenced in 5 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 2 articles
[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 299 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...

LGO
 Referenced in 85 articles
[sw00516]
 The program system LGO serves to solve global...

Matlab
 Referenced in 11343 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

PROFIL/BIAS
 Referenced in 122 articles
[sw00733]
 PROFIL (Programmer’s Runtime Optimized Fast Interval Library...

SCIP
 Referenced in 418 articles
[sw01091]
 SCIP is currently one of the fastest non...

SNOPT
 Referenced in 487 articles
[sw02300]
 SNOPT: An SQP algorithm for largescale constrained...

CONOPT
 Referenced in 161 articles
[sw02791]
 CONOPT is a generalized reducedgradient (GRG) algorithm...

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

Gurobi
 Referenced in 439 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming...

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

Couenne
 Referenced in 61 articles
[sw04347]
 Branching and bounds tightening techniques for nonconnvex...

DIFSUB
 Referenced in 103 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 523 articles
[sw04448]
 LINDO Systems  Optimization Software: Integer Programming, Linear Programming...