NPTEL Video Course : Automated Program Verification

Lecture 9 - Satisfiability and Validity in First-Order Logic - Part B