Integer Programming Based Solution Approaches for the Train Dispatching Problem | AMiner