Propositional Resolution and SAT Solvers, Live2

03-02-Live4, CS-550 Formal Verification