Este trabalho apresenta um modelo matemático exato, baseado em programação linear inteira, e um método heurístico, baseado na meta-heurística Busca Tabu, para a solução do problema de alocação de aeronaves a voos, ou tail assignment problem (TAP), considerando as restrições de conectividade de voos, permanência de aeronaves no solo, serviços de manutenção, limitações técnicas de aeronaves, conexões de passageiros e tripulantes e desempenho de aeronaves, visando a minimizar o custo total da operação. Os modelos desenvolvidos foram aplicados a problemas reais, extraídos da malha de uma empresa brasileira e os resultados obtidos apresentam ganhos em relação ao método de alocação de aeronaves utilizado na operação diária. Os tempos computacionais para solução pelo método exato são longos, indicando que o método heurístico é mais adequado, com resultados de boa qualidade obtidos em tempos computacionais razoáveis aceitáveis.