Base terminology, examples, complexity

Path consistency, k-consistency

Directional consistency, graph width, and polynomial CSPs. Generalized arc consistency and bound consistency

Global constraints.

Generalized consistency algorithm. Combining search and propagation.

Look back. Incomplete tree search.

Local search.

Optimization and soft constraints: models.

Optimization and soft constraints: algorithms. Comparison of search algorithms.

Revision lesson.