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