Theoretical Computer Science
Anonymous's user avatar
Anonymous's user avatar
Anonymous's user avatar
Anonymous
  • Member for 11 years, 9 months
  • Last seen more than 1 year ago
Profile Activity
Stats
4,001
reputation
28k
reached
1
answer
28
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
18
silver badges
42
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
All Questions Answers
Score Newest
question
38
Mulmuley's GCT program
Jun 10, 2011
question
30
Is there a result in computability theory that does not relativize?
Jan 25, 2016
question
25
Arguments for existence of one-way functions
Nov 5, 2011
question
25
Sum-of-squares proof system
Nov 20, 2012
question
25
Best known deterministic time complexity lower bound for a natural problem in NP
May 10, 2013
question
21
Can addition be carried out in less than depth 5?
Jul 30, 2012
question
20
SAT algorithms not based on DPLL
Nov 23, 2011
question
18
How many tautologies are there?
Nov 19, 2011
question
18
Automated theorem proving in linear logic
Nov 19, 2011
question
16
When can we say that two programs are different?
Dec 13, 2011

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.