Lecture 20: SAT, and translating Sudoku to SAT

Notes used in class Links to an external site.

Video: