This schedule may change throughout the semester. Check back regularly for updates, including assignment deadlines and other important dates.
| date | topic | slides | video | notes |
| 08/29/2022 | Introduction to Automated Reasoning | link (F20) | ||
| 08/31/2022 | Applications for Automated Reasoning | link (F20) | ||
| 09/07/2022 | Representations for Automated Reasoning | link (F20) | ||
| 09/12/2022 | SAT and SMT Solvers in Practice | link (F20) | Homework 1 assigned | |
| 09/14/2022 | Conflict-Driven Clause Learning | link (F20) | ||
| 09/19/2022 | Preprocessing Techniques | link (F20) | Homework 1 due | |
| 09/21/2022 | Proof Systems and Proof Complexity | link (F20) | Homework 2 assigned | |
| 09/26/2022 | Maximum Satisfiability | link (F20) | ||
| 09/28/2022 | Local Search and Lookahead Techniques | pdf, pdf | link (F20) | Homework 2 due |
| 10/03/2022 | Binary Decision Diagrams | pdf, pdf | link (F20) | Homework 3 assigned |
| 10/05/2022 | Verifying Automated Reasoning Results | pdf (F21) | link (F20) | |
| 10/10/2022 | Linear Temporal Logic | Homework 3 due | ||
| 10/12/2022 | Synthesis | |||
| 10/24/2022 | Select topic for final project and form groups |