Baus, Andreas Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Baus, A. (2004). Symbolic Constraints in Linear Integer Programming. Master Thesis, Universität des Saarlandes, Saarbrücken.