Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, Thierry Petit: The Increasing Nvalue Constraint. CPAIOR 2010: 25-39