Problema de escalonamento de docentes a vigilâncias: uma aplicação no ISEG - Rebocho, Acácio dos Santos Carriço (2023)