NPTEL Video Course : NOC:Basics of Computational Complexity

Lecture 26 - NP^NP and #SAT