J. Chen, Y. Zhang, C. Fang, and B. C. Williams, “Generalized Conflict-Directed Search for Optimal Ordering Problems”, SOCS, vol. 12, no. 1, pp. 46–54, Jul. 2021.