Partindo de formulações base, uma série de otimizações foram sistematicamente implementadas e avaliadas. Isso incluiu o ajuste de parâmetros (Big M), o enrijecimento de restrições (k = c) e a introdução de diferentes abordagens para quebra de simetria.

Os resultados experimentais demonstram que, enquanto as otimizações no modelo de PLI apresentaram um impacto misto ou negativo, as mesmas estratégias no modelo CP-SAT, particularmente as restrições de quebra de simetria, levaram a um ganho de desempenho significativo. A formulação final com CP-SAT se estabeleceu como a abordagem mais robusta e eficiente, sendo capaz de resolver instâncias previamente intratáveis dentro do tempo limite.