Failure-Directed Search for Constraint-Based Scheduling.

Petr Vilm, Philippe Laborie, Paul Shaw

Browse the full CPAIOR paper archive.