Pavel Surynek's Academic Page | Rozhodovací procedury a verifikace - Cvičení

Decision Procedures and Verification - Seminar

General  |  Sources  |  Lecture  |  Seminar  |  Points  |  Notes     

Hide menu   Show menu   Jump to the bottom   Print page


This page is devoted to the seminar.

DateTopicTasks
9.10.2013Tseitin encoding, NNF properties, modeling[PDF]
16.10.2013Problem modeling, encoding of states, simulation of CDCL[PDF]
24.10.2013BDDs, MTBDDs, GSAT, WalkSAT, factor graphs[PDF]
14.11.2013Equality logic, Ackermann's reduction, circuit equivalence[PDF]
21.11.2013Equality graphs, adequate domains[PDF]
5.12.2013Adequate domains, bit vector arithmetics[PDF]
12.12.2013Bit vectors and bit vector constraints[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