NPTEL Video Course : NOC:Basics of Computational Complexity

Lecture 10 - SAT is NP-hard