NPTEL Video Course : NOC:Algorithms for Big Data

Lecture 15 - SAT Problem