7 Propagators for Redundant Constraints

For some problems, the performance of a script can be drastically improved by introducing propagators for redundant constraints. Redundant constraints are constraints that are entailed by the constraints specifying the problem. Additional propagators for redundant constraints may decrease the size of the search tree by strengthening the propagation component of the script. They may also reduce the number of propagation steps needed to reach stability.

Christian Schulte and Gert Smolka
Version 1.4.0 (20080702)