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 Aug
- CDCL
- 19 Aug
- Implementing CDCL