J. Chen, C. Fang, D. Wang, A. Wang, and B. Williams, “Efficiently Exploring Ordering Problems through Conflict-Directed Search”, ICAPS, vol. 29, no. 1, pp. 97–105, Jul. 2019.