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.

Pohled zpět, dynamický backtracking.

Další vylepš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í.

Logický program, CLP program.

Omezení nad seznamy proměnných.

Globální podmínky.

Modelování.

Prohledávání.

Implementace podmínek.