
SCIP
 Referenced in 228 articles
[sw01091]
 SCIP is currently one of the fastest noncommercial solvers for mixed integer programming ... down to the guts of the solver. SCIP is part of the SCIP Optimization Suite...

ParaSCIP
 Referenced in 12 articles
[sw06292]
 ParaSCIP: A Parallel Extension of SCIP. Mixed integer programming (MIP)has become ... techniques in Operations Research and Discrete Optimization. SCIP (Solving Constraint Integer Programs) is currently ... tree. We present ParaSCIP, an extension of SCIP, which realizes a parallelization on a distributed ... memory computing environment. ParaSCIP uses SCIP solvers as independently running processes to solve subproblems (nodes...

GCG
 Referenced in 8 articles
[sw10533]
 branchandcutandprice framework SCIP and is also part of the SCIP Optimization ... Suite. After the standard presolving process of SCIP, GCG performs a DantzigWolfe decomposition ... During the solving process, GCG manages two SCIP instances, one holding the original problem...

UG
 Referenced in 8 articles
[sw03500]
 base solvers”, such as SCIP, CPLEX, etc. Without the need for base solver parallelization. Base...

FiberSCIP
 Referenced in 3 articles
[sw06291]
 FiberSCIP, a parallel extensions of SCIP. SCIP (Solving Constraint Integer Programs), a framework for Constraint ... This paper focuses on a parallelization of SCIP (Solving Constraint Integer Programs), which ... code. There is a parallel extension of SCIP named ParaSCIP, which parallelizes SCIP on massively ... which is yet another parallel extension of SCIP to utilize multithreaded parallel computation...

Lamatto
 Referenced in 6 articles
[sw06943]
 interfaces to CPLEX, GUROBI, SCIP and GAMS, where the latter provides access to a large...

PySCIPOpt
 Referenced in 2 articles
[sw15159]
 PySCIPOpt: Mathematical Programming in Python with the SCIP Optimization Suite. When it comes to customized ... mathematical programming, SCIP is often the software of choice: Its plugin based design provides ... access to detailed processual information. Furthermore, SCIP has frequently distinguished itself as being state ... However, with its source written in C, SCIP can prove challenging for inexperienced users wishing...

NumberJack
 Referenced in 4 articles
[sw07412]
 four available backends: a MIP solver (SCIP), two SAT solvers (MiniSat) and (Walksat...

ORtools
 Referenced in 4 articles
[sw14807]
 including CBC, CLP, GLOP, GLPK, Gurobi, CPLEX, SCIP, and Sulum. Knapsack algorithms. Graph algorithms (shortest...

cumulativemm
 Referenced in 2 articles
[sw15628]
 cumulativemm and gprecedencemm for the optimization framework SCIP. With the latter, one can model renewable ... above problem characteristics. We formulate three SCIPmodels for the MRCPSP with GPRs, two without ... this constraint handler significantly strengthens the SCIPmodel. Moreover, we outperform the state...

gprecedencemm
 Referenced in 2 articles
[sw15629]
 cumulativemm and gprecedencemm for the optimization framework SCIP. With the latter, one can model renewable ... above problem characteristics. We formulate three SCIPmodels for the MRCPSP with GPRs, two without ... this constraint handler significantly strengthens the SCIPmodel. Moreover, we outperform the state...

SCIPSDP
 Referenced in 1 article
[sw15618]
 package for SCIP. The SCIPSDPPackage is a plugin for the Software SCIP ... using the interiorpoint solver DSDP and SCIP as a branch and bound framework...

ZIB Optimization Suite
 Referenced in 1 article
[sw12452]
 modeling language. SoPlex  a linear programming solver. SCIP  a mixed integer programming solver and constraint ... resulting model can directly be loaded into SCIP and solved. In the solution process SCIP...

PolySCIP
 Referenced in 2 articles
[sw15158]
 commercial constraint integer programming framework SCIP. It utilizes a lifted weight space approach to compute...

MAIC
 Referenced in 2 articles
[sw19964]
 this minimization. We then combine them with SCIP, which is a mathematical optimization software...

Lamatto++
 Referenced in 2 articles
[sw20580]
 interfaces to CPLEX, GUROBI, SCIP and GAMS, where the latter provides access to a large...

ParaXpress
 Referenced in 1 article
[sw15160]
 parallel version of the open source solver SCIP, running on up to 80,000 cores ... Besides sheer performance, an important difference between SCIP and Xpress is that Xpress provides...

PyEvalGui
 Referenced in 1 article
[sw09250]
 PyEvalGui  GUI Components to Facilitate Evaluation of SCIP and Other Solving Software...

CMPL
 Referenced in 1 article
[sw16334]
 programming languages. CMPL executes CBC (default), GLPK, SCIP, Gurobi and CPLEX directly to solve...

VIPR
 Referenced in 1 article
[sw18034]
 exact rational version of the MIP solver SCIP to produce such certificates...