Too Long; Didn't Read

This section defines the course timetabling problem at Instituto Superior Técnico (IST), detailing indices, parameters, variables, and constraints. It also presents real-world instances, showcasing the complexity of timetabling at IST, including multiple campi, trimesters, and distinct timetables for classes, professors, and rooms.