Mohamed Siala, Christian Artigues, Emmanuel Hebrard. Two Clause Learning Approaches for Disjunctive Scheduling. Principles and Practice of Constraint Programming, Volume 9255, Lecture Notes in Computer Science, pp. 393-402