
ABACUS
 Referenced in 116 articles
[sw02948]
 generated dynamically (branchandcut, branchandprice, branchandcutandprice). ABACUS allows...

BaPCod
 Referenced in 19 articles
[sw09871]
 reformulated problem is solved using a branchandprice (column generation) algorithm. The specificity...

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

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

LEDA
 Referenced in 263 articles
[sw00509]
 In the core computer science areas  data structures...

PSPLIB
 Referenced in 269 articles
[sw00740]
 PSPLIB  a project scheduling problem library. We present...

TSPLIB
 Referenced in 697 articles
[sw00983]
 TSPLIB is a library of sample instances for...

SCIP
 Referenced in 536 articles
[sw01091]
 SCIP is currently one of the fastest non...

PICO
 Referenced in 26 articles
[sw02252]
 PICO: An objectoriented framework for parallel branch...

EVEOPT
 Referenced in 5 articles
[sw02695]
 EVEOPT: a hybrid algorithm for the capacitated...

QUAD01
 Referenced in 4 articles
[sw03306]
 QUAD01: A datastructured implementation of Hansen’s...

SoPlex
 Referenced in 88 articles
[sw04063]
 SoPlex is a Linear Programming (LP) solver based...

MIPLIB
 Referenced in 328 articles
[sw04067]
 A mixed integer (linear) program (mip) is an...

CPLEX
 Referenced in 2766 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

Gurobi
 Referenced in 679 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming...

PBGL
 Referenced in 10 articles
[sw04182]
 The Parallel Boost Graph Library: A Generic C...

LINDO
 Referenced in 552 articles
[sw04448]
 LINDO Systems  Optimization Software: Integer Programming, Linear Programming...

MINTO
 Referenced in 135 articles
[sw04587]
 MINTO is a software system that solves mixed...