Skip to main content
Theoretical Computer Science
Opt's user avatar
Opt's user avatar
Opt's user avatar
Opt
  • Member for 14 years, 4 months
  • Last seen more than a month ago
Profile Activity
Stats
1,311
reputation
303k
reached
8
answers
7
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
14
silver badges
20
bronze badges
Top tags
View all tags
34
Score
4
Posts
27
Posts %
34
Score
4
Posts
27
Posts %
27
Score
2
Posts
13
Posts %
7
Score
1
Posts
7
Posts %
5
Score
5
Posts
33
Posts %
5
Score
1
Posts
7
Posts %
Top posts
View all questions and answers
answer
23
Major unsolved problems in theoretical computer science?
Aug 18, 2010
answer
22
SAT algorithms not based on DPLL
Nov 23, 2011
question
18
Universal Function approximation
Aug 21, 2011
question
16
Paradigms for complexity analysis of algorithms
Jul 2, 2011
question
14
Consequences of sub-exponential proofs/algorithms for SAT
Dec 2, 2011
question
11
NP vs co-NP and second-order logic
Nov 22, 2010
question
10
Program Minimization
Mar 10, 2014
answer
10
What papers should everyone read?
Nov 21, 2011
answer
8
How to shoot down your proofs
Nov 3, 2011
answer
8
Deciding between different PhD programs
Feb 21, 2011
Top network posts
View all network posts
416
Efficiency of purely functional programming
82
How not to solve P=NP?
63
What were the reasons for the Renaissance / scientific revolution in Europe?
42
Last death caused by World War I
41
What is the oldest building in the world still in use?