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.
Subsections
Andreas Rossberg
2006-08-28