Catalog Β· Algorithmic Lower Bounds: Fun with Hardness Proofs Lecture 5 of 23 Lecture 5: SAT Reductions β Previous Lecture 4: SAT I Next β Lecture 6: Circuit SAT β Mark complete Materials Transcript (PDF) β transcript