An O(nlog n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization.

Nicolas Beldiceanu, Mats Carlsson, Thierry Petit, Jean-Charles Rgin

Browse the full ECAI paper archive.