NPTEL Video Course : NOC:AI:Constraint Satisfaction


Lecture 25 - Combining Search with Reasoning: Algorithm DPLL


            


DIGIMAT Learning Management Platform