Pavel Surynek's Academic Page | Rozhodovací procedury a verifikace - Přednáška

Decision Procedures and Verification - Lecture

General  |  Sources  |  Lecture  |  Seminar  |  Points  |  Notes     

Hide menu   Show menu   Jump to the bottom   Print page


This page is devoted to lectures for the course. Lecture slides and other study material can be found here.


DateTopic SlidesVideo
9.10.2013Propositional logic, normal forms of formulae, Tseitin encoding [PDF]
16.10.2013SAT solvers, DPLL, CDCL, 2-watched literals [PDF]
24.10.2013BDDs, GSAT, WalkSAT, Warning propagation [PDF]
14.11.2013Equality logic, uninterpreted function, Ackermann's reduction [PDF]
21.11.2013From equality logic to propositional logic [PDF]
5.12.2013Construction of small adequate domain [PDF]
12.12.2013Deciding bit vector arithmetic [PDF]
19.12.2013Array and pointer logic [PDF]
9.1.2014Deciding in combined theories [PDF]

Copyright © 2003-2014  

Hide menu   Show menu   Jump to the top   Print page