Základní pojmy, přístup k řešení, příklady, složitost.

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. Neúplné algoritmy.

Lokální prohledávání.

Optimalizace a soft omezení: modely.

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

Porovnání prohledávacích algoritmů. Opakování.