Problém splňování podmínek. Příklady a modelování.

Konzistence po cestě. K-konzistence.

Směrová konzistence, šířka grafu podmínek a polynomiální CSP. Obecná hranová konzistence, konzistence mezí.

Globální podmínky. Obecný konzistenční algoritmus.

Stromové prohledávání: backtracking, pohled dopředu.

Algoritmy skoku zpět.

Další rozšíření backtrackingu. Neúplné algoritmy.

Lokální prohledávání.

Porovnání algoritmů. Optimalizace a soft omezení: modely.

Optimalizace a soft omezení: modely (dokončení) a algoritmy.

Opakování.