• CVRPSP

  • Referenced in 71 articles [sw13447]
  • separation of various classes of cuts in branch-and-cut algorithms for the Capacitated Vehicle ... that were used in ”A New Branch-and-Cut Algorithm for the Capacitated Vehicle Routing...
  • ABACUS

  • Referenced in 105 articles [sw02948]
  • implementation of branch-and-bound algorithms using linear programming relaxations. Cutting planes ... columns can be generated dynamically (branch-and-cut, branch-and-price, branch...
  • GLPK

  • Referenced in 102 articles [sw04560]
  • methods, primal-dual interior-point method, branch-and-cut method, translator for GNU MathProg, application...
  • CALMA

  • Referenced in 80 articles [sw03235]
  • participants developed optimization algorithms based on branch-and-cut and constraint satisfaction, and approximation techniques...
  • CVRPSEP

  • Referenced in 22 articles [sw11809]
  • separation of various classes of cuts in branch-and-cut algorithms for the Capacitated Vehicle ... that were used in ”A New Branch-and-Cut Algorithm for the Capacitated Vehicle Routing...
  • FilMINT

  • Referenced in 32 articles [sw06197]
  • solver, FilMINT, combines the MINTO branch-and-cut framework for MILP with filterSQP to solve...
  • bc-prod

  • Referenced in 29 articles [sw10663]
  • prod: a specialized branch-and-cut system for lot-sizing problems. bc-prod...
  • LINDOGlobal

  • Referenced in 24 articles [sw06196]
  • LINDO Global employs branch-and-cut methods to break an nonlinearly constrained optimization problem model...
  • LaGO

  • Referenced in 17 articles [sw02040]
  • LaGO is an implementation of a Branch-and-Cut solver for block-separable not necessarily...
  • GeoSteiner

  • Referenced in 13 articles [sw04320]
  • dissertation described a new branch-and-cut code for finding minimum spanning trees in arbitrary...
  • OGDF

  • Referenced in 7 articles [sw04102]
  • additional libraries (except for some optional branch-and-cut algorithms). Portable C++-code that supports...
  • DINS

  • Referenced in 5 articles [sw10145]
  • branch-and-bound or a branch-and-cut MIP solver. The key idea...
  • VIPR

  • Referenced in 0 articles [sw18034]
  • elementary file format for LP-based branch-and-cut certificates proposed in the article ”Kevin...
  • BARON

  • Referenced in 190 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • cdd

  • Referenced in 79 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CSDP

  • Referenced in 152 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming This...
  • KNITRO

  • Referenced in 98 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • LAPACK

  • Referenced in 1161 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LEDA

  • Referenced in 191 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Matlab

  • Referenced in 6354 articles [sw00558]
  • MATLAB® is a high-level language and interactive...