Solving the train marshalling problem by inclusion-exclusion. - Rinaldi, Franca; Rizzi, Romeo (Discret. Appl. Math., 2017)