Lecture slides will be posted after each class meeting.
This schedule may change throughout the semester. Check back regularly for updates, including assignment deadlines and other important dates.
| date | topic | slides | video | notes |
| 9/2/20 | Introduction to Automated Reasoning | link | ||
| 9/9/20 | Applications for Automated Reasoning | link | ||
| 9/14/20 | Representations for Automated Reasoning | link | ||
| 9/16/20 | SAT and SMT Solvers in Practice | link | Homework 1 assigned | |
| 9/21/20 | Conflict-Driven Clause Learning | link | ||
| 9/23/20 | Preprocessing Techniques | link | Homework 1 due | |
| 9/28/20 | Proof Systems and Proof Complexity | link | Homework 2 assigned | |
| 9/30/20 | Maximum Satisfiability | link | ||
| 10/5/20 | Local Search and Lookahead Techniques | pdf, pdf | link | Homework 2 due |
| 10/7/20 | Quantified Boolean Formulas | link | Homework 3 assigned | |
| 10/12/20 | Binary Decision Diagrams | link | ||
| 10/14/20 | Verifying Automated Reasoning Results | link | Homework 3 due | |
| 10/19/20 | Program Synthesis | link | ||
| 10/21/20 | Select topic for final project and form groups |