
MINTO
 Referenced in 130 articles
[sw04587]
 also provides automatic constraint classification, preprocessing, primal heuristics and constraint generation. Moreover, the user...

ABACUS
 Referenced in 114 articles
[sw02948]
 cutting planes, column generation, and primal heuristics. ABACUS supports the Open Solver Interface (Osi) developed...

FilMINT
 Referenced in 43 articles
[sw06197]
 easily employ cutting planes, primal heuristics, and other wellknown MILP enhancements for MINLPs...

bcprod
 Referenced in 37 articles
[sw10663]
 planes, and a lotsizingspecific primal heuristic. Results are presented for a wide variety...

BaPCod
 Referenced in 9 articles
[sw09871]
 user on the original variables; default primal heuristics and preprocessing features are under developments...

BARON
 Referenced in 268 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

BoomerAMG
 Referenced in 125 articles
[sw00086]
 BoomerAMG: A parallel algebraic multigrid solver and preconditioner...

GAP
 Referenced in 2398 articles
[sw00320]
 GAP is a system for computational discrete algebra...

HSL
 Referenced in 229 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

KNITRO
 Referenced in 145 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

LSQR
 Referenced in 305 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least...

Magma
 Referenced in 2356 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 4699 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 5206 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 10462 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

PARI/GP
 Referenced in 481 articles
[sw00680]
 PARI/GP is a widely used Computer Algebra System...

QAPLIB
 Referenced in 203 articles
[sw00751]
 A collection of electronically available data instances for...

R
 Referenced in 6553 articles
[sw00771]
 R is a language and environment for statistical...

SageMath
 Referenced in 1254 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...