A CP-SAT Approach for Academic Resource Timetabling in Higher Education Institutions: A Case Study at a Major Public University. - Éber Júnio Borges Moreira; Sérgio Antônio Andrade de Freitas (ITHET, 2024)