C. Bessière and P. Van-hentenryck, To be or not to be ... a global constraint, 2003.