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
assignment_turned_in
Problem Sets with Solutions
notes
Lecture Notes
group_work
Projects
Instructor Insights
