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.

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. Dynamický backtracking.

Backmarking. Neúplné algoritmy.

Lokální prohledávání.

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

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

Opakování.