Cornell substituiu sua tabela de exames por horário de aula por um MIP e reduziu conflitos de horário

Os exames finais na Cornell eram agendados a partir de uma tabela estática que vinculava grupos de exames aos horários da primeira aula. Com cerca de 30 horários de aula e apenas 22 vagas de exame, os estudantes rotineiramente acabavam com provas finais colidindo, e os professores tinham que preparar exames de reposição para alunos com compromissos simultâneos.

Professores e estudantes da ORIE se uniram ao Registro da Universidade para construir uma estrutura de programação inteira. Ela combina um modelo multietapa Agrupar-e-Sequenciar com uma heurística iterativa de Camadas, gerando muitas variantes de cronograma sob diferentes escolhas de parâmetros.

O modelo lida não apenas com conflitos diretos e exames consecutivos, mas também com conflitos de ordem superior — estudantes enfrentando mais de dois exames em 24 horas ou ao longo de quatro slots consecutivos. O registro escolhe entre opções no estilo Pareto, equilibrando o conforto do cronograma com a concentração no início e as exclusões de slots.

O otimizador gera os cronogramas; o registro escolhe os trade-offs

O MIP torna explícita a estrutura de conflitos — incluindo os casos de ordem superior que planilhas e tabelas de consulta simplesmente não enxergam.

A cada semestre, milhares de estudantes com centenas de exames interagem; somente um otimizador consegue equilibrar o conforto dos estudantes nessa escala, e fazer isso manualmente nunca foi viável.

Manter o registro no circuito por meio de variantes de cronograma transforma a otimização de uma caixa-preta em uma ferramenta de apoio à decisão em que a instituição confia.

Quando uma tabela de consulta estática deixa de se ajustar aos dados, substitua a tabela por um otimizador — mas mantenha o humano escolhendo entre cronogramas por meio de comparações de trade-offs.

A Cornell tem usado a estrutura para o agendamento de seus exames finais por cinco semestres desde 2024, com o artigo documentando vantagens sobre a abordagem histórica baseada em horário de aula em tempo de administração e conforto do cronograma. Um gerador MIP de código aberto acompanha o trabalho.