1. Wolsey, L.A.: Integer Program. Wiley, New York (1998)
2. Nemhauser, G.L., Wolsey, L.A.: Integer and Combinatorial Optimization. Wiley, New York (1988)
3. cdd+ reference manual. https://www.math.ucdavis.edu/~deloera/MISC/BIBLIOTECA/trunk/Fukuda/Fukuda1.pdf (2010). Accessed 30 Sept 2010
4. Porta vers. 1.4.1. http://www.iwr.uni-heidelberg.de/groups/comopt/software/PORTA/ (2010). Accessed 30 Sept 2010
5. Lrwald, S., Reinelt, G.: Panda: a software for polyhedral transformations. EURO J. Comput. Optim. 3(4), 297–308 (2015)