NPTEL Video Course : Automated Program Verification

Lecture 5 - Davis-Putnam-Logemann-Loveland Algorithm (DPLL) - Part B