4. SAT I 4. SAT I begin-post-stats MIT OpenCourseWare • 9K views end-post-stats begin-duration 1:20:32 end-duration ... +0 Algebra Boolean algebra Complexity classes Computational complexity theory Graph families Graph theory Normal forms (logic) Propositions So What Learning January 19, 2018