3 papers
cs.AI2026
ASPaeroFlow: Decomposition Heuristics for Joint Air Traffic Flow & Capacity Management
Alexander Beiser, Markus Hecher, Nysret Musliu +2
While mathematical models act as vital decision support systems for operational Air Traffic Flow and Capacity Management (ATFCM), existing approaches isolate Air Traffic Flow Manag…
cs.AI2026
Joint Air Traffic Flow and Capacity Management via Answer Set Programming
Alexander Beiser, Markus Hecher, Nysret Musliu +1
Operational Air Traffic Flow and Capacity Management (ATFCM) balances flight demand with available sector capacity, to ensure safe and efficient operations. Mathematical models enh…
cs.CC2025
From Alternation to FPRAS: Toward a Complexity Classification of Approximate Counting
Markus Hecher, Matthias Lanzinger
Counting problems are fundamental across mathematics and computer science. Among the most subtle are those whose associated decision problem is solvable in polynomial time, yet who…