Seminář 6
E-learning (bitové vektory, pevná desetinná čárka)
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (440.57 kB)
11. 12. 2011
Seminář 5
Logika s rovností, redukce, ekvivalence obvodů
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (454.84 kB)
11. 12. 2011
Seminář 4
E-learning: obecný simplex, Gomoryho řezy
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (526.76 kB)
11. 12. 2011
Seminář 3
BDD, WalkSat, GSAT, faktorové grafy
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (479 kB)
11. 12. 2011
Seminář 2
Modelování, průběh DPLL, implikační graf
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (458.92 kB)
11. 12. 2011
Seminář 1
Tseitinovo kódování, modelování
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (455.95 kB)
11. 12. 2011