Um modelo de programação inteira para a otimização da distribuição do serviço docente Teses