Video "Propositional Satisfiability" (Lecture March 18)