NPTEL Video Course : NOC:An Introduction to Artificial Intelligence

Lecture 47 - Logic in AI : Reduction to Satisfiability Problems - Part 6