Skip to main content
Theoretical Computer Science
Anonymous's user avatar
Anonymous's user avatar
Anonymous's user avatar
Anonymous
  • Member for 13 years, 1 month
  • Last seen more than 3 years ago
Profile Activity
Stats
4,041
reputation
30k
reached
1
answer
28
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
20
silver badges
43
bronze badges
Top tags
View all tags
1
Score
16
Posts
55
Posts %
1
Score
5
Posts
17
Posts %
1
Score
4
Posts
14
Posts %
0
Score
6
Posts
21
Posts %
0
Score
5
Posts
17
Posts %
0
Score
4
Posts
14
Posts %
Top posts
View all questions and answers
39
Mulmuley's GCT program
Jun 10, 2011
31
Is there a result in computability theory that does not relativize?
Jan 25, 2016
25
Arguments for existence of one-way functions
Nov 5, 2011
25
Sum-of-squares proof system
Nov 20, 2012
25
Best known deterministic time complexity lower bound for a natural problem in NP
May 10, 2013
21
Can addition be carried out in less than depth 5?
Jul 30, 2012
20
SAT algorithms not based on DPLL
Nov 23, 2011
19
How many tautologies are there?
Nov 19, 2011
18
Automated theorem proving in linear logic
Nov 19, 2011
16
When can we say that two programs are different?
Dec 13, 2011