A. Chun, “Train Outstable Scheduling as Constraint Satisfaction”, AAAI, vol. 27, no. 2, pp. 1513-1518, Jul. 2013.