NPTEL Video Course : Automated Program Verification

Lecture 6 - Encoding Problems in Propositional Logic