Efficiently Exploring Ordering Problems through Conflict-directed Search