Uma ferramenta automatizada no auxílio à alocação de slots para o problema de gerenciamento de fluxo de tráfego aéreo brasileiro. Documento