Classes start in the week of September 7, 2021. Lecture slides will be posted after each class meeting. The postfix (F20) denotes slides and links of last year.
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/8/21 | Introduction to Automated Reasoning | link (F20) | ||
| 9/13/21 | Applications for Automated Reasoning | link (F20) | ||
| 9/15/21 | Representations for Automated Reasoning | link (F20) | ||
| 9/20/21 | SAT and SMT Solvers in Practice | link (F20) | Homework 1 assigned | |
| 9/22/21 | Conflict-Driven Clause Learning | link (F20) | ||
| 9/27/21 | Preprocessing Techniques | link (F20) | Homework 1 due | |
| 9/29/21 | Proof Systems and Proof Complexity | link (F20) | Homework 2 assigned | |
| 10/4/21 | Maximum Satisfiability | link (F20) | ||
| 10/6/21 | Local Search and Lookahead Techniques | pdf, pdf | link (F20) | Homework 2 due |
| 10/11/21 | Quantified Boolean Formulas | link (F20) | Homework 3 assigned | |
| 10/13/21 | Binary Decision Diagrams | link (F20) | ||
| 10/18/21 | Verifying Automated Reasoning Results | link (F20) | Homework 3 due | |
| 10/20/21 | Select topic for final project and form groups |