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, May 2021.