Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro TecnologicoEste trabalho apresenta o problema de geração do horário de aulas. O modelo desenvolvido considera as principais restrições, incluindo a disponibilidade das salas, preferência de horário dos professores, seqüência de programação e outros aspectos relevantes para a resolução deste problema em instituições de ensino
