• 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]
  • Tangent-Linear 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.,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 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 high-level 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 large-scale constrained...
  • CONOPT

  • Referenced in 161 articles [sw02791]
  • CONOPT is a generalized reduced-gradient (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 non-connvex...
  • 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...