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