Um sistema de construção automática de horários em Universidades, utilizando o algoritmo de Arrefecimento Simulado - Faria, Pedro Miguel Teixeira (2000)