Conflict resolution problems solved with linear programming in air traffic management systems | IEEE Conference Publication | IEEE Xplore