Categories
recording

Constraint Reasoning and OR : Efficiently Exploring Ordering Problems through Conflict-directed Search