NPTEL Video Course : Automated Program Verification

Lecture 3 - Satisfiability and Validity in Propositional Logic