| 19.2. 2008 | Úvod, historické souvislosti, ukázky aplikací, vlastnosti omezujících podmínek, možnosti a meze CP. Definice CSP. Binarizace podmínek. |
 |
| 26.2. 2008 |
Přehled algoritmů pro řešení podmínek prohledáváním, metoda generuj a testuj. Algoritmy lokálního prohledávání: HC, MC, MCRW, SDRW, Tabu search, GSAT, GENET, simulované žíhání |
|
| 4.3. 2008 |
Algoritmy systematického prohledávání: backtracking, backjumping, dynamický backtracking, backmarking. Neúplné prohledávací techniky (BBS, IB, DBS, CS). |
|
| 11.3. 2008 |
Prohledávání s diskrepancemi (LDS, ILDS, DDS). Úvod do konzistenčních technik, vrcholová konzistence (NC). Hranová konzistence (AC), algoritmy hranové konzistence AC-1, AC-2, AC-3, AC-4, AC-3.1, AC-2001. |
|
| 18.3. 2008 | Odpadá! | |
| 25.3. 2008 | Směrová hranová konzistence (DAC). Konzistence po cestě (PC), reprezentace podmínek maticemi, algoritmy PC-1, PC-2, DPC. |
|
| 1.4. 2008 | Omezená konzistence po cestě (RPC). k-konzistence, (i,j)-konzistence, inverzní konzistence, bodová konzistence. Hledání řešení bez navracení. Zobecněná hranová konzistence a konzistence okrajů. |
|
| 8.4. 2008 | Spojení prohledávání a konzistenčních technik (FC, PLA, LA, MAC), heuristiky pro výběr proměnné a hodnoty. Metody cycle-cutset a MACE. |
|
| 15.4. 2008 |