Closure Properties

Notes on Decidabilty of WS1S

Slides on Decidabilty of WS1S

R(i,j,k) Method

Small DFA for …

Slides on Sat Solvers

Notes on Time Classes like DTIME and beginning of P vs NP

Notes on P vs NP

Reductin CLIQ to SAT. Yes, you read that right.

Someone else's NPC slides. See 18-30 are 3-COL proof

Someone elses Slids on NPC

Computability Theory

Halting Problem: Another Viewpoint

Kolmogorov Complexity

Bounded Queries

CMSC 452 from Spring 2018

Blog Post on Dead Cat Policy