ECE 595Z Lecture 13: Boolean Satisfiability III