A MaxSAT approach for solving a new Dynamic Discretization Discovery model for train rescheduling problems
Train scheduling is a critical activity in rail traffic management, both off-line (timetabling) and on-line (dispatching). Time-Indexed formulations for scheduling problems are stronger than other classical formulations, like Big-M. Unfortunately, their size grows usually very large with the size of...
- Year
- 2024
- Type
- Academic article