Lecture Videos
Lecture 5: SAT Reductions
Description: In this lecture, Professor Demaine explains hardness proofs of games and puzzles, and graph theoretic problems, all reducing from 3-SAT.
Instructor: Erik Demaine
A video player with synced slides and lecture notes is available.
Course Info
Instructor
Departments
As Taught In
Fall
2014
Level
Topics
Learning Resource Types
theaters
Lecture Videos
notes
Lecture Notes
group_work
Projects
Instructor Insights
assignment
Problem Sets
Problem Set Solutions
