Tesis doctoral: «Modelos de Optimización para la Programación de Horarios y Asignación de Salas de Clase en Universidades»