Na této stránce budou postupně zveřejňovány materiály ke cvičení.
Datum | Téma | Úlohy |
3.10.2012 | Tseitinovo kódování, modelování | [PDF] |
10.10.2012 | Modelování, průběh DPLL, implikační graf | [PDF] |
17.10.2012 | BDD, Lokální prohledávání | [PDF] |
24.10.2012 | WalkSat, GSAT, faktorové grafy | [PDF] |
31.10.2012 | Odpadá - cesta na veletrh Gaudeamus | |
7.11.2012 | Odpadá - zahraniční konference | |
14.11.2012 | Logika s rovností a neinterpretovanými funkcemi | [PDF] |
21.11.2012 | Nekonala se - nemoc | |
28.11.2012 | Vlastnosti adekvátní domény | [PDF] |
5.12.2012 | Bitové vektory | [PDF] |
12.12.2012 | Pole a ukazatele | [PDF] |
19.12.2012 | Ukazatelové struktury | [PDF] |
2.1.2013 | Kombinování rozhodovacích procedur | [PDF] |
9.1.2013 | Integrace SAT řešiče a jiných rozhodovacích procedur | [PDF] |