Christian Bessiere George Katsirelos Nina Narodytska Claude-Guy Quimper Toby Walsh Decompositions of All Different, Global Cardinality and Related Constraints http://arxiv.org/abs/0905.3755 2009 CoRR abs/0905.3755 db/journals/corr/corr0905.html#abs-0905-3755 informal publication