3 citations · 9 across the 15 of their papers we have counts for
15 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…
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…
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…
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…
Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning
Alexander Beiser, David Penz, Nysret Musliu
Large language models (LLMs) achieve astonishing results on a wide range of tasks. However, their formal reasoning ability still lags behind. A promising approach is Neurosymbolic…