Joint Air Traffic Flow and Capacity Management via Answer Set Programming
Researchers introduce a joint air traffic flow and capacity management model using Answer Set Programming that simultaneously optimizes aircraft trajectories and sector configurations. The ASP approach outperforms traditional Mixed Integer Programming methods and remains competitive with heuristics, demonstrating potential improvements in balancing flight demand with available airspace capacity.