Summary: The problem addressed in this paper, of routing and scheduling freight trains within a scheduled passenger rail network, prevails in many large countries. The actual departure and arrival times of freight trains are not important, and nor are their routes. Only a starting station and destination station are specified on the day of travel. The current paper addresses the problem of how to thread the maximum number of freight trains through the passenger network, minimising the latest arrival time of the last freight train. This problem contrasts with the more traditional rail scheduling requirement of matching as closely as possible an ideal schedule. The rail network is modelled topologically, so the size of the network does not grow as the temporal granularity is made finer. Our use of the modelling language MiniZinc enables us to compare several different solvers and solving approaches applied to the model. In particular we investigate constraint programming, using global constraints and constraint propagation; mathematical programming naively, without using any of the decomposition techniques; and finally a hybrid of constraint propagation, learning, and dynamic search control called lazy clause generation. The paper describes two kinds of experiments. Firstly it gives results for a series of benchmark tests to investigate the flexibility and scalability of the algorithm, and secondly it is applied to a freight train scheduling problem on the Victorian rail network in Australia.
For the entire collection see [Zbl 1337.68015].