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.

• 7.1 Example: Fractions
  • Problem Specification
  • Model
  • Distribution Strategy
  • Script

• 7.2 Example: Pythagoras
  • Problem Specification
  • Model
  • Distribution Strategy
  • Script

• 7.3 Example: Magic Squares
  • Problem Specification
  • Model
  • Distribution Strategy
  • Script

• 7.4 Exercises