NPTEL Video Course : NOC:AI:Constraint Satisfaction

Lecture 32 - Conflict-Directed Backjumping: Definitions