Boolean expression basics, SAT, CNF, 3-CNF, Alternate definition of NP (with proof), NTM as a polynomial verifier, conversion of NTM to DTM
No download links available.