
FilMINT
 Referenced in 44 articles
[sw06197]
 approximationbased solver for convex mixedinteger nonlinear programs. We describe a new solver ... convex mixedinteger nonlinear programs (MINLPs) that implements a linearizationbased algorithm. The solver ... solution of a master mixedinteger linear program (MILP) by adding new linearizations at open ... branchandbound tree whenever an integer solution is found. The new solver, FilMINT, combines...

LPbook
 Referenced in 49 articles
[sw31782]
 proceeding to convex analysis, network flows, integer programming, quadratic programming, and convex optimization. The book...

z3
 Referenced in 496 articles
[sw04887]
 Microsoft Research.Z3 supports linear real and integer arithmetic, fixedsize bitvectors, extensional arrays, uninterpreted ... integrated with a number of program analysis, testing, and verification tools from Microsoft Research. These...

DICOPT
 Referenced in 34 articles
[sw04938]
 program for solving mixedinteger nonlinear programming (MINLP) problems that involve linear binary or integer ... maturity and reliability as linear, integer or nonlinear programming modeling, these problems have ... Nonlinear Programming) or MIP (MixedInteger Programming) solver that runs under GAMS...

ANTIGONE
 Referenced in 83 articles
[sw09241]
 mixedinteger quadraticallyconstrained quadratic program and mixedinteger signomial optimization computational frameworks. To demonstrate...

GloMIQO
 Referenced in 69 articles
[sw06266]
 Globally optimizing mixedinteger quadraticallyconstrained quadratic programs. Major applications of mixedinteger quadraticallyconstrained...

lpSolve
 Referenced in 44 articles
[sw04106]
 solving linear, integer and mixed integer programs. In this implementation we supply a ”wrapper” function...

DDSIP
 Referenced in 43 articles
[sw05103]
 decomposition in twostage stochastic mixedinteger programming, needs CPLEX...

Pyomo
 Referenced in 42 articles
[sw04910]
 language. Python is a powerful and dynamic programming language that has a very clear, readable ... tutorial on simple linear and integer programming models. Information needed to install and get started...

bcprod
 Referenced in 42 articles
[sw10663]
 formulate his/her problem as a mixed integer program using XPRESSMP’s mpmodel...

DAKOTA
 Referenced in 64 articles
[sw05202]
 such as surrogatebased optimization, mixed integer nonlinear programming, or optimization under uncertainty. By employing...

ParaSCIP
 Referenced in 29 articles
[sw06292]
 Parallel Extension of SCIP. Mixed integer programming (MIP)has become one of the most important ... Discrete Optimization. SCIP (Solving Constraint Integer Programs) is currently one of the fastest noncommercial...

OPERA
 Referenced in 29 articles
[sw03200]
 linear programming (LP), network programming (NP), integer programming (IP) and dynamic programming (DP). OPERA...

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

MINLP
 Referenced in 49 articles
[sw04800]
 information about all aspects of Mixed Integer Nonlinear Programming (MINLP): http://www.gamsworld.org/minlp/solvers.htm...

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

Cbc
 Referenced in 31 articles
[sw04440]
 opensource mixed integer programming solver written in C++. It can be used...

PipLib
 Referenced in 19 articles
[sw23763]
 PIP/Piplib, a parametric integer linear programming solver. PIP/PipLib is the well known Paul Feautrier ... parametric integer linear programming solver. PIP is a software that finds the lexicographic minimum ... maximum) in the set of integer points belonging to a convex polyhedron ... very big difference with well known integer programming tools like lp_solve or CPLEX...

GRIN
 Referenced in 26 articles
[sw08940]
 implementation of Gröbner bases for integer programming. this paper we present a computer program (GRIN...

PICO
 Referenced in 26 articles
[sw02252]
 branchandbound method for mixed integer programming, along with computational results on the ASCI...