Base terminology, examples, complexity

Graph representation. Arc consistency

Path consistency, k-consistency

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

Global constraints.

Look back. Incomplete tree search.

Local search.

Optimization and soft constraints: models.

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

Revision lesson.