Research on conflict resolution method for multi aircrafts based on mixed integer programming | IEEE Conference Publication | IEEE Xplore