
MIRPLib
 Referenced in 16 articles
[sw11220]
 cast as a mixedinteger linear program. This formulation is quite general and incorporates assumptions ... MIRPs; (2) provide the mixedinteger linear programming community with a set of optimization problem...

AlphaECP
 Referenced in 45 articles
[sw04940]
 GAMS/AlphaECP is a MINLP (MixedInteger NonLinear Programming) solver based on the extended cutting ... solved to feasibility or only to an integer relaxed solution in intermediate iterations. This makes...

DIP
 Referenced in 18 articles
[sw09870]
 Decomposition for Integer Programming) is an opensource extensible software framework for implementing decompositionbased ... below links. M. Galati, Decomposition in Integer Linear Programming, Doctoral Dissertation, Lehigh University, December ... Ralphs and M. Galati, Decomposition in Integer Programming, in Integer Programming: Theory and Practice, John...

QSopt_ex
 Referenced in 27 articles
[sw04722]
 provide a solver for Linear Programming (and Integer Programming to a lesser degree) that returns...

SBB
 Referenced in 16 articles
[sw06250]
 GAMS solver for Mixed Integer Nonlinear Programming (MINLP) models. It is based on a combination ... Bound method known from Mixed Integer Linear Programming and some of the standard NLP solvers...

OscaR
 Referenced in 14 articles
[sw09908]
 Constraint Programming; Constrained Based Local Search; Linear (Integer) Programming; Discrete Event Simulation; Derivative Free Optimization...

SCIL
 Referenced in 10 articles
[sw01099]
 SCIL  symbolic constraints in integer linear programming We describe a new software system SCIL that ... price algorithms for integer linear programs. Symbolic constraints are known from constraint programming and contribute...

Clingcon
 Referenced in 36 articles
[sw09892]
 over nonlinear finite integers can be used in the logic programs. The primary clingcon...

Zimpl
 Referenced in 32 articles
[sw04064]
 ZIMPL: Zuse Institut Mathematical Programming Language. Zimpl is a little language to translate the mathematical ... problem into a linear or nonlinear (mixed) integer mathematical program expressed...

KNITRO
 Referenced in 175 articles
[sw00490]
 hundred thousands. It is effective for solving linear, quadratic, and nonlinear smooth optimization problems, both ... constraints (MPCCs or MPECs), and mixedinteger programming (MIPs), particular convex mixed integer, nonlinear problems...

OPERA
 Referenced in 29 articles
[sw03200]
 Included are routines for linear programming (LP), network programming (NP), integer programming (IP) and dynamic ... Matlab for research and teaching in optimization. Linear programs are solved either by direct call...

GRAPPA
 Referenced in 11 articles
[sw17255]
 Linear programming for phylogenetic reconstruction based on gene rearrangements. Phylogenetic reconstruction from gene rearrangements ... given tree, using a set of linear constraints generated through selective applications of the triangle ... GESTALT). Our method generates an integer linear program with a carefully limited number of constraints...

FiberSCIP
 Referenced in 8 articles
[sw06291]
 solver and constraint integer programming framework available in source code. There is a parallel extension ... performance of FiberSCIP for solving mixedinteger linear programs (MIPs) and mixedinteger nonlinear...

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

minlpBB
 Referenced in 22 articles
[sw06199]
 sparse or dense mixedinteger linear, quadratic and nonlinear programming problems...

LPbook
 Referenced in 49 articles
[sw31782]
 convex analysis, network flows, integer programming, quadratic programming, and convex optimization. The book is carefully ... book is coordinated with free efficient C programs that implement the major algorithms studied ... variants of the simplex method, both for linear programming and for network flows. These...

SHOT
 Referenced in 8 articles
[sw15630]
 deterministic algorithm for solving convex mixedinteger nonlinear programming (MINLP) problems is presented in this ... defined by linear and nonlinear constraints. A sequence of linear or quadratic integerrelaxed subproblems ... algorithm solves a sequence of mixedinteger linear programming or mixedinteger quadratic programming subproblems...

VIPR
 Referenced in 3 articles
[sw18034]
 VIPR. Verifying Integer Programming Results. VIPR is new a software project to verify, in exact ... correctness of results computed by mixedinteger linear programming solvers. It is based ... Integer Programming Results”: Software for mixedinteger linear programming can return incorrect results ... results on a selection of mixedinteger linear programming instances from the literature. To this...

GOBNILP
 Referenced in 5 articles
[sw29883]
 Globally Optimal Bayesian Network learning using Integer Linear Programming) is a C program which learns ... GOBNILP uses the SCIP framework for Constraint Integer Programming...

quadprogIP
 Referenced in 3 articles
[sw36327]
 Globally solving nonconvex quadratic programs via linear integer programming techniques . We reformulate a (indefinite) quadratic ... program (QP) as a mixedinteger linear programming (MILP) problem by first reformulating...