0
a/pvsnp
posted by
rzach
2 months ago
Computer Science
Proof complexity
Too bad the whole bounded arithmetic thing didn't pan out.