NPTEL Video Course : Logic for CS

Lecture 7 - Propositional Unsatisfiability