2 Propagate and Distribute

This section presents the architecture of constraint-based problem solving at the concrete instance of finite domain problems. We will often refer to the underlying solution method with the slogan “propagate and distribute”. The slogan recalls the two inference rules of the method, constraint propagation and constraint distribution.

• 2.1 Finite Domains and Constraints

• 2.2 Constraint Propagation

• 2.3 Spaces, Propagators, and Constraint Stores

• 2.4 Interval and Domain Propagation

• 2.5 Incompleteness of Propagation

• 2.6 Distribution and Search Trees

• 2.7 An Example

• 2.8 Distribution Strategies

• 2.9 Search Order

• 2.10 Models