# Ryan Williams earned this badge 72 times

feb 25 '12 at 0:31
Solving $n$-SAT and #$n$-SAT
nov 21 '11 at 16:25
How many tautologies are there?
nov 17 '11 at 12:33
Uses of XORification
jul 13 '11 at 3:03
NTIME(n^k) ≠ DTIME(n^k) ?
may 27 '11 at 21:24
What is the big version of NC?
nov 5 '10 at 0:33