Bound-consistent deviation constraint

  • Authors:
  • Pierre Schaus;Yves Deville;Pierre Dupont

  • Affiliations:
  • Department of Computing Sciences and Engineering, Université catholique de Louvain, Belgium;Department of Computing Sciences and Engineering, Université catholique de Louvain, Belgium;Department of Computing Sciences and Engineering, Université catholique de Louvain, Belgium

  • Venue:
  • CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.