3.7.25. 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: