NPTEL Video Course : Automated Program Verification

Lecture 4 - Davis-Putnam-Logemann-Loveland Algorithm (DPLL) - Part A