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

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