The first day of class is August 25, 2025. Lecture slides will be posted after each class. The postfices F20 denotes video links for the version of that lecture given during the Fall 2020 semester. The videos can be used to review some of the core concepts of that lecture but the content of the lecture in Fall 2025 may differ slightly.
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/25/2025 | Introduction to Automated Reasoning | link (F20) | ||
| 08/27/2025 | Applications for Automated Reasoning | link (F20) | ||
| 09/01/2025 | No Classes - Labor Day | |||
| 09/03/2025 | Representations for Automated Reasoning | link (F20) | ||
| 09/08/2025 | SAT and SMT Solvers in Practice | link (F20) | ||
| 09/10/2025 | Conflict-Driven Clause Learning | link (F20) | HW 1 assigned | |
| 09/15/2025 | SMT Solving | |||
| 09/17/2025 | Preprocessing Techniques | link (F20) | HW 1 due ; HW 2 assigned | |
| 09/22/2025 | Local Search and Lookahead Techniques | link (F20) | ||
| 09/24/2025 | Proof Systems and Proof Complexity | link (F20) | HW 2 due ; HW 3 assigned | |
| 09/29/2025 | Binary Decision Diagrams | link (F20) | ||
| 10/01/2025 | Maximum Satisfiability | link (F20) | HW 3 due | |
| 10/06/2025 | Verifying Automated Reasoning Results | link (F20) | ||
| 10/08/2025 | Select topic for final project and form groups | |||
| 10/13/2025 | No Classes - Fall Break | |||
| 10/15/2025 | No Classes - Fall Break | |||
| TBD | Project presentations |