A branch and bound algorithm for scheduling trains in a railway network · Study