Irit Katriel Sven Thiel Complete Bound Consistency for the Global Cardinality Constraint. 191-217 2005 10 Constraints 3 http://dx.doi.org/10.1007/s10601-005-2237-y db/journals/constraints/constraints10.html#KatrielT05