Lectures
This page gives highlights of past lectures and links to lecture notes.
Topic 01 - SAT solving
- 10 Aug
- Introduction to SMT
- An SMT problem. How does cvc5 solve it? What are the reasoning components in the solver?
- 12 Aug
- Propositional Logic, DPLL
- 17, 19 Aug
- CDCL
- 24 Aug
- Implementing CDCL
- 26 Aug
- Pre- and in-procennig in SAT
Topic 02 - SMT solving basics
- 31 Aug
- First-order Logic
- 2 Sep
- First-order Theories
- 9 Sep
- First-order Proving
- 14 Sep
- CDCL(T): from SAT to SMT solving
- 16 Sep
- Exam 1