This is an old revision of the document!
Propositional Proofs and Simple SAT Solvers
This is continuation of lecture06.
Satisfiability of Sets of Formulas
Definition of Propositional Resolution
Deriving Propositional Resolution
Interpolants from Resolution Proofs
Continued in lecture08.