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
Instructor Insights
notes
Lecture Notes
theaters
Lecture Videos
assignment_turned_in
Problem Set Solutions
assignment
Problem Sets
group_work
Projects
