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 pdf
9/5/19 Applications for Automated Reasoning pdf
9/10/19 Representations for Automated Reasoning pdf
9/12/19 SAT and SMT Solvers in Practice pdf Homework 1 assigned
9/17/19 Conflict-Driven Clause Learning pdf
9/19/19 Preprocessing Techniques pdf Homework 1 due
9/24/19 Proof Systems and Proof Complexity pdf Homework 2 assigned
9/26/19 Local Search and Lookahead Techniques pdf
10/1/19 Maximum Satisfiability pdf Homework 2 due
10/3/19 Parallel Automated Reasoning pdf Homework 3 assigned
10/8/19 Quantified Boolean Formulas pdf
10/10/19 Verifying Automated Reasoning Results pdf Homework 3 due
10/15/19 Select topic for final project and form groups