Chen, J.; Zhang, Y.; Fang, C.; Williams, B. C. Generalized Conflict-Directed Search for Optimal Ordering Problems. SOCS 2021, 12, 46-54.