| Lecture | Date | Topic | Scribe Notes | Some older notes written by me. |
| 1 | Jan. 14th | Introduction to CSPs. | lecture1.pdf | Introduction and Local Propagation |
| 2 | Jan. 21st | Local Consistency | lecture2.pdf | |
| 3 | Jan 28th | Elimination Width, Backtracking, & Nogoods |
lecture3.pdf Additional note showing a proof that tree-width is equal to elimination width. |
|
| 4 | Feb 4th | CBJ, CBJ+P | lecture4.pdf | |
| 5 | Feb 25th | Constraint Propagation and intro to SAT | lecture5.pdf | |
| 6 | Mar 4th | Modern Sat Solvers | lecture6.pdf | |
| 8 | Mar 18th | Propagators | lecture8.pdf |