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