00:00 - Introduction 1:45 - Karp-Lipton Theorem 3:13 - Claim 1 4:18 - Claim 2 5:00 - Self Reducibility of SAT 10:50 - Proof of Karp-Lipton Theorem 24:05 - Meyer's Theorem 39:41 - Kannan's Theorem 50:12 - Summary
No download links available.