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