Wang, R.; Barnier, N. Application of Compact Representation of Ordered Set to Air Traffic Conflict Resolution. EEER 2024, 4.