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/28/2023 | Introduction to Automated Reasoning | link (F20) | ||
| 08/30/2023 | Applications for Automated Reasoning | link (F20) | ||
| 09/06/2023 | Representations for Automated Reasoning | link (F20) | ||
| 09/11/2023 | SAT and SMT Solvers in Practice | link (F20) | Homework 1 assigned | |
| 09/13/2023 | Conflict-Driven Clause Learning | link (F20) | ||
| 09/18/2023 | Preprocessing Techniques | link (F20) | Homework 1 due | |
| 09/20/2023 | Proof Systems and Proof Complexity | link (F20) | Homework 2 assigned | |
| 09/25/2023 | Local Search and Lookahead Techniques | pdf, pdf | link (F20) | |
| 09/27/2023 | Binary Decision Diagrams | pdf, pdf (F22) | link (F20) | Homework 2 due |
| 10/02/2023 | Maximum Satisfiability | link (F20) | Homework 3 assigned | |
| 10/04/2023 | Synthesis | pdf (F20) | link (F20) | |
| 10/09/2023 | Verifying Automated Reasoning Results | link (F20) | Homework 3 due | |
| 10/11/2023 | Quantified Boolean Formulas | |||
| 10/23/2023 | Select topic for final project and form groups | |||
| 12/14/2023 | Project presentations |