Mar 30 More on NPC SLIDES

Not Given Reductions To Show Problems NPC SLIDES

Apr 1 Cook Levin Theorem SLIDES

Apr 6 Finish Cook-Levin and Rev HW 6 REC

SAT Variants and Cryarithms SLIDES

Apr 8 CLIQ TO SAT SLIDES

Apr 13 TSP hard to approx SLIDES

(NOT COVERED) SAT SOLVERS SLIDES

(NOT COVERED) Hard Cases for SAT SOLVERS. SLIDES