NPTEL Video Course : Mathematical Logic

Lecture 11 - Horn-SAT and Resolution