ECE 595Z Lecture 12: Boolean Satisfiability II