The first day of class is August 26, 2024. Lecture slides will be posted after each class meeting. The postfices F20 and F23 denote slides and links from the Fall 2020 and Fall 2023 semesters, respectively.
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/26/2024 | Introduction to Automated Reasoning | link (F20) | ||
| 08/28/2024 | Applications for Automated Reasoning | link (F20) | ||
| 09/04/2024 | Representations for Automated Reasoning | link (F20) | ||
| 09/09/2024 | SAT and SMT Solvers in Practice | link (F20) | Homework 1 assigned | |
| 09/11/2024 | Conflict-Driven Clause Learning | link (F20) | ||
| 09/16/2024 | Preprocessing Techniques | link (F20) | Homework 1 due | |
| 09/18/2024 | Proof Systems and Proof Complexity | link (F20) | Homework 2 assigned | |
| 09/23/2024 | Local Search and Lookahead Techniques | pdf, pdf | link (F20) | |
| 09/25/2024 | Binary Decision Diagrams | pdf, pdf (F22) | link (F20) | Homework 2 due |
| 09/30/2024 | Maximum Satisfiability | link (F20) | Homework 3 assigned | |
| 10/02/2024 | Verifying Automated Reasoning Results | link (F20) | ||
| 10/07/2024 | Research project overview | Homework 3 due | ||
| 10/09/2024 | Quantified Boolean Formulas | |||
| 10/10/2024 | Select topic for final project and form groups (11am in GHC 6501) | |||
| TBD | Project presentations |