Conflict Detection and Resolution with Local Search Algorithms for 4D-Navigation in ATM. - Vitor Filincowsky Ribeiro; Henrique Torres de Almeida Rodrigues; Vitor Bona de Faria; Weigang Li 001; Reinaldo Crispiniano Garcia (ISDA (2), 2018)