A. Cire and W.- jan van Hoeve, “MDD Propagation for Disjunctive Scheduling”, ICAPS, vol. 22, no. 1, pp. 11-19, May 2012.