10 papers
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…
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…
An Enhanced Large Neighborhood Search Approach for the Capacitated Facility Location Problem with Incompatible Customers
Ida Gjergji, Lucas Kletzander, Nysret Musliu +1
A new variant of the classic capacitated facility location problem, which considers incompatibilities between customers, has recently been introduced in the literature. This proble…
Comparing Optimization Models for Radiotherapy Scheduling
C. C. Rambaldi Migliore, D. Stanicel, N. Musliu +2
The Radiotherapy Scheduling Problem (RTSP) involves determining an optimal schedule for patients undergoing radiation treatments, a task that has a massive impact on clinical outco…
Solving Parallel Machine Scheduling With Precedences and Cumulative Resource Constraints With Calendars
Christoph Einspieler, Matthias Horn, Marie-Louise Lackner +3
The task of finding efficient production schedules for parallel machines is a challenge that arises in most industrial manufacturing domains. There is a large potential to minimize…
ASP-FZN: A Translation-based Constraint Answer Set Solver
Thomas Eiter, Tobias Geibinger, Tobias Kaminski +2
We present the solver asp-fzn for Constraint Answer Set Programming (CASP), which extends ASP with linear constraints. Our approach is based on translating CASP programs into the s…