2026-10-02T22:41:08Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:27806 2026-10-02T13:58:59Z ddc:004 open_access

ASPaeroFlow: Decomposition Heuristics for Joint Air Traffic Flow & Capacity Management Beiser, Alexander Hecher, Markus Musliu, Nysret Trausmuth, Georg Woltran, Stefan Air Traffic Flow and Capacity Management ATFCM Answer Set Programming Heuristics Open Data While mathematical models act as vital decision support systems for operational Air Traffic Flow and Capacity Management (ATFCM), existing approaches isolate Air Traffic Flow Management (ATFM) from Dynamic Airspace Configuration (DAC). This separation introduces an unresolved circular dependency between fixed-demand and fixed-capacity assumptions. Although joint optimization resolves this gap, the enlarged search space renders exact models computationally intractable for medium- to large-scale instances. To bridge this gap, we propose ASPaeroFlow: a heuristic for the joint ATFCM; it combines instance-space decomposition heuristics with a local exact approach using Answer Set Programming. We benchmark ASPaeroFlow from small to industry-sized instances and compare it with exact and alternative approaches. The results indicate that (1) the heuristic provides a computational middle ground between exact methods and operational baselines; (2) simultaneous optimization can outperform sequential optimization on joint ATFCM; and (3) an ablation study indicates that DAC has a larger impact on solution quality than flow measures. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Alexander Beiser and Markus Hecher and Nysret Musliu and Georg Trausmuth and Stefan Woltran 2026 Is Part Of OASIcs, Volume 147, 26th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2026) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.ATMOS.2026.10 urn:nbn:de:0030-drops-278067 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2026.10 eng https://creativecommons.org/licenses/by/4.0/legalcode