NPTEL Video Course : NOC:An Introduction to Artificial Intelligence

Lecture 48 - Logic in AI : SAT Solvers: DPLL Algorithm - Part 7