A Θ(n) Bound-Consistency Algorithm for the Increasing Sum Constraint.

Thierry Petit, Jean-Charles Rgin, Nicolas Beldiceanu

Browse the full CP paper archive.