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