NPTEL Video Course : NOC:An Introduction to Artificial Intelligence

Lecture 49 - Logic in AI : Sat Solvers: WalkSAT Algorithm - Part 8