Top network posts
- 38 Mulmuley's GCT program
- 28 Is there a result in computability theory that does not relativize?
- 25 Best known deterministic time complexity lower bound for a natural problem in NP
- 25 Arguments for existence of one-way functions
- 24 Sum-of-squares proof system
- 21 Can addition be carried out in less than depth 5?
- 19 SAT algorithms not based on DPLL
- View more network posts →