3.7.27. Balanced assignment

A constraint to obtain a balanced assignment over a set of domain variables. Given a set of domain variables {x 1 ,x 2 ,,x n }, some classical balance criteria reported in  [SchausDevilleDupont07a] are: