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

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