O tamanho de problemas de otimização combinatória cresce significativamente à medida a quantidade de variáveis cresce, tornando muitas vezes difícil a obtenção de uma solução razoável. Assim, torna-se importante a atenção dada à formulação matemática, buscando formulações que auxiliem os solvers na resolução dos problemas. Entre outros fatores, destaca-se a importância de se obter formulações compactas, com menos restrições e variáveis. Assim, neste trabalho foi proposta uma metodologia para a criação de restrições que visam substituir equações de problemas de otimização. Experimentos foram feitos para o problema do torneio com viagens, um problema que define tabelas de jogos de equipes em um campeonato, buscando minimizar a distância percorrida pelas equipes. As restrições substituídas foram as que garantem que não ocorram mais que três jogos consecutivos em casa ou fora. Os resultados iniciais obtidos usando o CPLEX mostraram que os modelos da metodologia proposta foram mais compactos, apresentando menos restrições que as formulações originais após o presolve do CPLEX, e os valores de função objetivo encontrados foram iguais ou melhores com a proposta.