15.1 General Ideas (Recalled)

• 15.1.1 Combinatoric Explosion

• 15.1.2 Constraint Store and Propagators

• 15.1.3 Distribution

• 15.1.4 Ambiguities versus Disjunction