Time-Table Disjunctive Reasoning for the Cumulative Constraint.

Steven Gay, Renaud Hartert, Pierre Schaus

Browse the full CPAIOR paper archive.