Comparações de modelagens matemáticas para o Coupled-Task Scheduling Problem (CTSP)

O Coupled-Task Scheduling Problem tem o objetivo de alocar N tarefas independentes de forma a minimizar o makespan. Cada tarefa i é composta por duas partes a_i e b_i e, entre elas, deve haver um intervalo de tamanho fixo l_i. O primeiro objetivo do artigo é realizar testes empíricos com modelagens matemáticas existentes na literatura e uma nova modelagem de Programação por Restrições, proposta neste trabalho. Os testes envolvem instâncias da literatura. Algumas delas possuem características bem específicas. O segundo objetivo deste trabalho está na verificação do impacto que essas características possuem na execução das modelagens matemáticas. Os resultados mostram que a modelagem proposta foi superior às demais e que existem características que tornam o processo de otimização mais eficiente, em alguns casos, e menos eficiente, em outros.