Efficiently Exploring Ordering Problems through Conflict-directed Search

Jingkai Chen, Cheng Fang, David Wang +2