Lecture 5: SAT Reductions

Name: Lecture 5: SAT Reductions
Uploaded: 2015-07-14T18:33:03Z
Duration: 1 h 21 min 39 s
Description: 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.

1:21:39

Up Next

Lecture 6: Circuit SAT

Continue

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.