Comparing Lazy Constraint Selection Strategies in Train Routing with Moving Block Control - Stefan Engels; Robert Wille (Annals of computer science and information systems, 2024)