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

ABACUS
 Referenced in 115 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 42 articles
[sw10663]
 planes, and a lotsizingspecific primal heuristic. Results are presented for a wide variety...

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

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

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

CGAL
 Referenced in 332 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

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

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

LiDIA
 Referenced in 52 articles
[sw00518]
 LiDIA: A library for computational number theory. LiDIA...

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

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

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

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

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

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

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

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