NPTEL Video Course : Artificial Intelligence (Prof. P. Dasgupta)

Lecture 12 - Resolution Refutation Proofs