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

MIPLIB
 Referenced in 328 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...

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

FEASPUMP
 Referenced in 132 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 196 articles
[sw00490]
 MPCCs or MPECs), and mixedinteger programming (MIPs), particular convex mixed integer, nonlinear problems (MINLP...

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

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

AlphaECP
 Referenced in 49 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 38 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 30 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 34 articles
[sw04064]
 hopefully) solved by a LP or MIP solver...

BaPCod
 Referenced in 19 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...

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

UG
 Referenced in 24 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...

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

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

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

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