Login / Signup
A MaxSAT approach for solving a new Dynamic Discretization Discovery model for train rescheduling problems.
Anna Livia Croella
Bjørnar Luteberget
Carlo Mannino
Paolo Ventura
Published in:
Comput. Oper. Res. (2024)
Keyphrases
</>
probabilistic model
management system
experimental data
combinatorial optimization
data sets
objective function
dynamic environments
mathematical model
neural network
upper bound
computational model
formal model
solving problems