Lecture Videos
Lecture 4: SAT I
Description: In this lecture, Professor Demaine starts a series of lectures on satisfiability, including using SAT to prove NP-hardness.
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
