Cotton, Scott International Max Planck Research School, MPI for Informatics, Max Planck Society;
Cotton, S. (2005). Satisfiability Checking with Difference Constraints. Master Thesis, Universität des Saarlandes, Saarbrücken.