Update: 6th Mar 2018
Copyright © 2003-2013
Rozhodovací procedury a verifikace - Cvičení
 |
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] |
|
Copyright © 2003-2014 |
|