Lecture 19: SAT

In this lecture we discussed SAT, the boolean satisfiability problem, and we went over the first part of its code -- we still have to go over how search is done. 

Lecture notes Links to an external site.

Video: