1. ABACUS – A Branch-And-CUt System,
http://www.informatik.uni-koeln.de/abacus
2. LEDA – Library of Efficient Data Types and Algorithms,
http://www.algorithmic-solutions.com
3. ILOG CPLEX 12.1 (2009),
http://www.ilog.com/products/cplex
4. SCIL 0.9 (2011),
http://www.scil-opt.net
5. Altin, A., Amaldi, E., Belotti, P., Pinar, M.: Provisioning virtual private networks under traffic uncertainty. Networks 49(1), 100–115 (2007)