Bound-Consistent Deviation Constraint

Deviation is a recent constraint to balance a set of variables with respect to a given mean. We show that the propagators recently introduced are not bound-consistent when the mean is rational. We introduce bound-consistent propagators running in linear time with respect to the number of variables. We evaluate the improvement in terms of efficiency and pruning obtained with the new propagators on the Balanced Academic Curriculum Problem.

• Type: Conference
• Year: 2007
• Where: CP
• Authors: Pierre Schaus, Yves Deville, Pierre Dupont
• Keywords: Balanced Academic Curriculum, Bound-consistent Propagators, CP 2007, Linear Time, Programming Languages