Chun, A. Train Outstable Scheduling As Constraint Satisfaction. AAAI 2013, 27, 1513-1518.