NPTEL Video Course : NOC:AI:Constraint Satisfaction

Lecture 31 - Graph-Based Backjumping: Internal and Relevant Dead-Ends