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

As Taught In
Fall 2014
Learning Resource Types
Lecture Videos
Problem Sets with Solutions
Lecture Notes
Instructor Insights