SAT (The Cook-Levin Theorem)

68ca541f6f4eaedbe7d711cd651cf451?s=47 Rod Hilton
October 24, 2012

SAT (The Cook-Levin Theorem)

An overview of the Cook-Leven theorem and the Satisfiability Problem, covering how the problem is NP-Complete without reducing any other problem to it

68ca541f6f4eaedbe7d711cd651cf451?s=128

Rod Hilton

October 24, 2012
Tweet