https://123dok.net/document/zpn14d8v-two-clause-learning-approaches-for-disjunctive-scheduling.html