NPTEL Video Course : NOC:AI:Constraint Satisfaction

Lecture 38 - Truth Maintenance Systems