NPTEL Video Course : Mathematical Logic

Lecture 10 - SAT and 3SAT