
Gurobi
 Referenced in 610 articles
[sw04105]
 constrained programming solver (QCP), mixedinteger linear programming solver (MILP), mixedinteger quadratic programming solver...

FilMINT
 Referenced in 47 articles
[sw06197]
 solution of a master mixedinteger linear program (MILP) by adding new linearizations at open...

Rglpk
 Referenced in 9 articles
[sw15916]
 largescale linear programming (LP), mixed integer linear programming (MILP) and other related problems...

quadprogIP
 Referenced in 7 articles
[sw36327]
 quadratic program (QP) as a mixedinteger linear programming (MILP) problem by first reformulating...

Couenne
 Referenced in 68 articles
[sw04347]
 naturally formulated using mixed integer nonlinear programming (MINLP) models and can be solved ... extend a branching technique originally developed for MILP, reliability branching, to the MINLP case. Motivated...

lpSolveAPI
 Referenced in 3 articles
[sw20027]
 Mixed Integer Linear Programming (MILP) solver with support for pure linear, (mixed) integer/binary, semicontinuous...

Sage Sbox MILP toolkit
 Referenced in 2 articles
[sw24163]
 Counting Active Sboxes using MixedInteger Linear Programming (MILP). This toolkit can be used ... MixedInteger Linear Programming problem which counts the minimum number of (linearly or differentially) active ... given cipher and solves this using a MILP solver in Sage. The toolkit includes...

pycombina
 Referenced in 2 articles
[sw38177]
 problem, which is a MixedInteger Linear Program (MILP) that can be solved either approximately...

ooMILP
 Referenced in 1 article
[sw00652]
 solution of large, sparse mixed integer linear programming (MILP) problems without the disadvantages of many ... construction and solution of Mixed Integer Linear Programming (MILP) problems. We then demonstrate how this...

BelT
 Referenced in 1 article
[sw29704]
 integral characteristics by employing a mixed integer linear programming (MILP) (Our open source code...

FISHtrees
 Referenced in 1 article
[sw29659]
 tree building method based on mixed integer linear programming (MILP). The ploidybased modeling...

APMonitor
 Referenced in 5 articles
[sw19694]
 solvers for linear, quadratic, nonlinear, and mixed integer programming (LP, QP, NLP, MILP, MINLP). Modes...

GEKKO
 Referenced in 1 article
[sw38459]
 solvers for linear, quadratic, nonlinear, and mixed integer programming (LP, QP, NLP, MILP, MINLP). Modes...

VIPR
 Referenced in 3 articles
[sw18034]
 Integer Programming Results”: Software for mixedinteger linear programming can return incorrect results ... that employ exact arithmetic may suffer from programming or algorithmic errors, motivating the desire ... complex nature of stateoftheart MILP solution algorithms, the ideal form of such ... results on a selection of mixedinteger linear programming instances from the literature. To this...

BonsaiG
 Referenced in 1 article
[sw05024]
 source distribution for bonsaiG, a mixedinteger linear programming code, last updated November ... COINOR project, which has its own MILP solver, cbc. Unless you have some compelling...

Ecole
 Referenced in 1 article
[sw38101]
 Ecole: A Library for Learning Inside MILP Solvers. In this paper we describe Ecole (Extensible ... stateoftheart a mixedinteger linear programming solver that acts as a controllable...

Alpine.jl
 Referenced in 1 article
[sw34677]
 convex relaxations for mixedinteger nonlinear programs (MINLP) with multilinear terms. In the first ... stage, we exploit Constraint Programing techniques to contract the variable bounds. We apply feasibilitybased ... domains of variables appearing in multilinear terms (predominantly common in the literature), we construct ... around the current solution of lowerbounding MILP). This approach decouples the number of partitions...

BARON
 Referenced in 339 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

GAP
 Referenced in 3068 articles
[sw00320]
 GAP is a system for computational discrete algebra...

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