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.

Christian Schulte and Gert Smolka
Version 1.4.0 (20080702)