Propagate and Branch

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.