
MIPLIB
 Referenced in 300 articles
[sw04067]
 mixed integer (linear) program (mip) is an optimization problem in which a linear objective function ... diverse collection of challenging realworld mip instances from various academic and industrial applications suited ... benchmarking and testing of mip solution algorithms...

SCIP
 Referenced in 459 articles
[sw01091]
 commercial solvers for mixed integer programming (MIP) and mixed integer nonlinear programming (MINLP...

OCaml
 Referenced in 271 articles
[sw06363]
 processor architectures (IA32, PowerPC, AMD64, Alpha, Sparc, Mips, IA64, HPPA, StrongArm), as well...

FEASPUMP
 Referenced in 124 articles
[sw04802]
 solution of a given mixedinteger programming (MIP) model is a very important 𝒩𝒫complete ... finding a feasible solution to general MIPs that can be viewed as a clever ... computational results on binary and general integer MIPs from the literature show that...

KNITRO
 Referenced in 175 articles
[sw00490]
 MPCCs or MPECs), and mixedinteger programming (MIPs), particular convex mixed integer, nonlinear problems (MINLP...

GLPK
 Referenced in 169 articles
[sw04560]
 scale linear programming (LP), mixed integer programming (MIP), and other related problems...

SETHEO
 Referenced in 119 articles
[sw00707]
 SPARC station 1 with 12 Mips...

AlphaECP
 Referenced in 45 articles
[sw04940]
 method requires only the solution of a MIP sub problem in each iteration ... MIP sub problems may be solved to optimality, but can also be solved to feasibility...

DICOPT
 Referenced in 34 articles
[sw04938]
 DICOPT solves a series of NLP and MIP subproblems. These subproblems ... solved using any NLP (Nonlinear Programming) or MIP (MixedInteger Programming) solver that runs under...

ParaSCIP
 Referenced in 29 articles
[sw06292]
 Parallel Extension of SCIP. Mixed integer programming (MIP)has become one of the most important ... currently one of the fastest noncommercial MIP solvers. It is based on the branchandboundprocedure ... MIPLIB2003, a standard test set library for MIP solvers. For these computations, we used...

Zimpl
 Referenced in 32 articles
[sw04064]
 hopefully) solved by a LP or MIP solver...

SUIF
 Referenced in 27 articles
[sw08807]
 level parallelism and locality optimizer, an optimizing MIPS back end, a set of compiler development...

BaPCod
 Referenced in 16 articles
[sw09871]
 prototype code that solves Mixed Integer Programs (MIP) by application of a DantzigWolfe reformulation ... constraints and variables of the MIP in its natural/ compact formulation; the user specifies which ... implemented that relies on an underlying MIP solver to handle master and subproblem...

UG
 Referenced in 23 articles
[sw03500]
 parallelize branchandbound based solvers (e.g., MIP, MINLP, ExactIP) in a distributed or shared...

LogMIP
 Referenced in 22 articles
[sw05035]
 stage of maturity and reliability as LP, MIP and NLP modeling, these problems have...

MOPS
 Referenced in 20 articles
[sw08791]
 This paper discusses only LP optimization. The MIP optimizer in MOPS is a prototype version...

DINS
 Referenced in 8 articles
[sw10145]
 DINS, a MIP improvement heuristic. We introduce Distance Induced Neighbourhood Search (DINS), a MIP improvement ... heuristic that tries to find improved MIP feasible solutions from a given MIP feasible solution ... search that is embedded in an exact MIP solver, namely a branchandbound ... branchandcut MIP solver. The key idea is to use a distancemetric between...

QEMU
 Referenced in 17 articles
[sw31057]
 hosts (x86, PowerPC, ARM, Sparc, Alpha and MIPS). QEMU supports full system emulation in which...

ISAAP
 Referenced in 10 articles
[sw07468]
 Linear Programming (LP) or Mixed Integer Programming (MIP) problems. The MCMA has been used ... applicable also to large LP and MIP problems. Other implementations of the same methodology have...

SCIPJack
 Referenced in 14 articles
[sw18748]
 using a stateoftheart MIPframework. The result is a highperformance solver...