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

Grafová reprezentace CSP. Hranová konzistence.

Konzistence po cestě. K-konzistence.

Obecná hranová konzistence, konzistence mezí. Globální podmínky.

Obecný konzistenční algoritmus. Směrová konzistence, šířka grafu podmínek a polynomiální CSP.

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

Stromové prohledávání: pohled dopředu (dokončení), pohled zpět.

Lokální prohledávání. Porovnání algoritmů.

Optimalizace a soft omezení: modely.

Optimalizace a soft omezení: algoritmy.

Opakování.