10 citations · 27 across the 17 of their papers we have counts for
16 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…
Key Principles in Cross-Domain Hyper-Heuristic Performance
Václav Sobotka, Lucas Kletzander, Nysret Musliu +1
Cross-domain selection hyper-heuristics aim to distill decades of research on problem-specific heuristic search algorithms into adaptable general-purpose search strategies. In this…
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…
Integrating Column Generation and Large Neighborhood Search for Bus Driver Scheduling with Complex Break Constraints
Lucas Kletzander, Tommaso Mannelli Mazzoli, Nysret Musliu +1
The Bus Driver Scheduling Problem (BDSP) is a combinatorial optimization problem with the goal to design shifts to cover prearranged bus tours. The objective takes into account the…
Intermediate Languages Matter: Formal Choice Drives Neurosymbolic LLM 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…
Theoretical Lower Bounds for the Oven Scheduling Problem
Francesca Da Ros, Marie-Louise Lackner, Nysret Musliu
The Oven Scheduling Problem (OSP) is an NP-hard real-world parallel batch scheduling problem arising in the semiconductor industry. The objective of the problem is to schedule a se…
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
Thomas Eiter, Tobias Geibinger, Nysret Musliu +3
We deal with a challenging scheduling problem on parallel machines with sequence-dependent setup times and release dates from a real-world application of semiconductor work-shop pr…
Exact methods and lower bounds for the Oven Scheduling Problem
Marie-Louise Lackner, Christoph Mrkvicka, Nysret Musliu +2
The Oven Scheduling Problem (OSP) is a new parallel batch scheduling problem that arises in the area of electronic component manufacturing. Jobs need to be scheduled to one of seve…
Exact and Metaheuristic Approaches for the Production Leveling Problem
Johannes Vass, Marie-Louise Lackner, Nysret Musliu
In this paper we introduce a new problem in the field of production planning which we call the Production Leveling Problem. The task is to assign orders to production periods such…
Investigating Constraint Programming and Hybrid Methods for Real World Industrial Test Laboratory Scheduling
Tobias Geibinger, Florian Mischek, Nysret Musliu
In this paper we deal with a complex real world scheduling problem closely related to the well-known Resource-Constrained Project Scheduling Problem (RCPSP). The problem concerns i…
Efficient generation of rotating workforce schedules
Nysret Musliu, Johannes Gaertner, Wolfgang Slany
Generating high-quality schedules for a rotating workforce is a critical task in all settings where a certain staffing level must be guaranteed beyond the capacity of single employ…