Time-Table Disjunctive Reasoning for the Cumulative Constraint

Steven Gay, Renaud Hartert, Pierre Schaus. Time-Table Disjunctive Reasoning for the Cumulative Constraint. In Laurent Michel, editor, Integration of AI and OR Techniques in Constraint Programming - 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings. Volume 9075 of Lecture Notes in Computer Science, pages 157-172, Springer, 2015. [doi]

Authors

Steven Gay

This author has not been identified. Look up 'Steven Gay' in Google

Renaud Hartert

This author has not been identified. Look up 'Renaud Hartert' in Google

Pierre Schaus

This author has not been identified. Look up 'Pierre Schaus' in Google