Dauzere-Peres, S.

train problem station railway number section train t timetable route railway station clique deviation combination procedure feasibility problem inequality departure times route-deviation combinations possibility platform solution problem instances value variable instance algorithm constraint arrival subproblem departure heuristic route-deviation feasibility buffer time safety rules arrival time step 1. branch-and-cut table point branch-and-cut procedure departure time buffer zwaneveld dutch safety result formulation railway stations clique inequalities lp-relaxation paper order scheduling direction level track sections inequality procedure table i layout model railway station zwolle future zwolle netherland dutch railway network system schedule capacity dutch railway company integer cadan scenario stack service considerations account scheduling problem step 2. programming consideration