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