Using Constraint Programming for Disjunctive Scheduling in Temporal AI Planning. - Adam Francis Green; J. Christopher Beck; Amanda Jane Coles (CP, 2024)