Přednáška 3
Binární rozhodovací diagramy (BDD), GSAT, WalkSAT,…
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (1.06 MB)
11. 12. 2011
Přednáška 2
Konstrukce SAT řešiče, DPLL, učení klauzulí, backtracking…
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (1.11 MB)
11. 12. 2011
Přednáška 1
Výroková logika, logika prvního řádu, normální tvary…
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (873.2 kB)
11. 12. 2011
Seminář 11
Snaživé kódování, rozhodování teorií pomocí SAT řešiče
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (549.72 kB)
11. 12. 2011
Seminář 10
Nelson-Oppenova procedura, QBF-formule
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (636.82 kB)
11. 12. 2011
Seminář 9
Ukazatelové struktury, rozhodování ukazatelů
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (533.48 kB)
11. 12. 2011
Seminář 8
Logika pro pole a ukazatele
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (515.08 kB)
11. 12. 2011
Seminář 7
Konstrukce struktur pro logiku s rovností
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (441.17 kB)
11. 12. 2011