Made editorial changes to the conclusion chapter, as per Javier's remarks.
Made editorial changes to the ILP appendix, as per Javier's remarks.
Modified abstract to mention CSPAP as a particular case of the larger timetabling family of problems, and to note that the polyhedral approach by itself is already reasonably efficient.