
FilMINT
 Referenced in 43 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 48 articles
[sw31782]
 proceeding to convex analysis, network flows, integer programming, quadratic programming, and convex optimization. The book...

z3
 Referenced in 471 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 32 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 75 articles
[sw09241]
 mixedinteger quadraticallyconstrained quadratic program and mixedinteger signomial optimization computational frameworks. To demonstrate...

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

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

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

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

ParaSCIP
 Referenced in 28 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...

Pyomo
 Referenced in 36 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...

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

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

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

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

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

DIP
 Referenced in 16 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...

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 25 articles
[sw08940]
 implementation of Gröbner bases for integer programming. this paper we present a computer program (GRIN...

Why3
 Referenced in 126 articles
[sw04438]
 provides a rich language for specification and programming, called WhyML, and relies on external theorem ... theories (integer and real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data...