Conflict resolution support for air traffic control based on solution spaces: Design and implementation | IEEE Conference Publication | IEEE Xplore