A space-discretized mixed-integer linear model for air-conflict resolution with speed and heading maneuvers
scientific article; zbMATH DE number 6650862