Propagation Redundancy in Redundant Modelling

Combining mutually redundant models with channelling constraints increases constraint propagation. However, the extra computation efforts of the additional variables and constraints may outweigh the gain of reduction in search space. In fact, many of the constraints in redundant modelling are not only logically redundant but also propagation redundant and hence cannot further reduce search space. We give general theorems for proving propagation redundancy of one constraint with respect to channelling constraints and constraints in the other model. Wedefineabroadformofchannellingconstraintsthatarecoveredbyourapproach. We illustrate, using problems from CSPLib (http://www.csplib.org/), how detecting and removing propagation redundant constraints can significantly speed up solving behaviour.

• Type: Conference
• Year: 2003
• Where: CP
• Authors: Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
• Keywords: CP 2003, Increases Constraint Propagation, Programming Languages, Propagation Redundant, Propagation Redundant Constraints