Lecture slides will be posted after each class meeting.
This schedule may change throughout the semester. Check back regularly for updates, including assignment deadlines and other important dates.
| date | topic | slides | notes |
| 9/3/19 | Introduction to Automated Reasoning | ||
| 9/5/19 | Applications for Automated Reasoning | ||
| 9/10/19 | Representations for Automated Reasoning | ||
| 9/12/19 | SAT and SMT Solvers in Practice | Homework 1 assigned | |
| 9/17/19 | Conflict-Driven Clause Learning | ||
| 9/19/19 | Preprocessing Techniques | Homework 1 due | |
| 9/24/19 | Proof Systems and Proof Complexity | Homework 2 assigned | |
| 9/26/19 | Local Search and Lookahead Techniques | ||
| 10/1/19 | Maximum Satisfiability | Homework 2 due | |
| 10/3/19 | Parallel Automated Reasoning | Homework 3 assigned | |
| 10/8/19 | Quantified Boolean Formulas | ||
| 10/10/19 | Verifying Automated Reasoning Results | Homework 3 due | |
| 10/15/19 | Select topic for final project and form groups |