This section presents the architecture of constraint-based problem
solving at the
concrete instance of finite domain problems.
I will often refer to the
underlying solution method with
the slogan ``propagate and branch''. The slogan recalls the
two inference rules of the method,
constraint propagation and branching.
Propagate and Branch