NPTEL Video Course : NOC:AI:Constraint Satisfaction

Lecture 25 - Combining Search with Reasoning: Algorithm DPLL