Comparing Lazy Constraint Selection Strategies in Train Routing with Moving Block Control | IEEE Conference Publication | IEEE Xplore