Lecture

CS-550: Propositional Resolution