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 | video | notes |
9/2/20 | Introduction to Automated Reasoning | link | ||
9/9/20 | Applications for Automated Reasoning | link | ||
9/14/20 | Representations for Automated Reasoning | link | ||
9/16/20 | SAT and SMT Solvers in Practice | link | Homework 1 assigned | |
9/21/20 | Conflict-Driven Clause Learning | link | ||
9/23/20 | Preprocessing Techniques | link | Homework 1 due | |
9/28/20 | Proof Systems and Proof Complexity | link | Homework 2 assigned | |
9/30/20 | Maximum Satisfiability | link | ||
10/5/20 | Local Search and Lookahead Techniques | pdf, pdf | link | Homework 2 due |
10/7/20 | Quantified Boolean Formulas | link | Homework 3 assigned | |
10/12/20 | Binary Decision Diagrams | link | ||
10/14/20 | Verifying Automated Reasoning Results | link | Homework 3 due | |
10/19/20 | Program Synthesis | link | ||
10/21/20 | Select topic for final project and form groups |