ECE 595Z Lecture 11: Boolean Satisfiability I