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.
|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|