• ABACUS

  • Referenced in 116 articles [sw02948]
  • generated dynamically (branch-and-cut, branch-and-price, branch-and-cut-and-price). ABACUS allows...
  • BaPCod

  • Referenced in 19 articles [sw09871]
  • reformulated problem is solved using a branch-and-price (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 object-oriented framework for parallel branch...
  • EVE-OPT

  • Referenced in 5 articles [sw02695]
  • EVE-OPT: a hybrid algorithm for the capacitated...
  • QUAD01

  • Referenced in 4 articles [sw03306]
  • QUAD01: A data-structured 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...