MDD Propagation for Disjunctive Scheduling