Genetic algorithms for solving air traffic control conflicts | IEEE Conference Publication | IEEE Xplore