Cire, A.; van Hoeve, W.- jan. MDD Propagation for Disjunctive Scheduling. ICAPS 2012, 22, 11-19.