NPTEL Video Course : NOC:AI:Constraint Satisfaction

Lecture 41 - Planning as Satisfiability