Un modelo de programación entera para la generación de horarios universitarios: Un caso de estudio.