Skip to main content
Theoretical Computer Science
verifying's user avatar
verifying's user avatar
verifying's user avatar
verifying
  • Member for 9 years
  • Last seen more than 3 years ago
Profile Activity
Stats
1,072
reputation
5k
reached
0
answers
18
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
12
bronze badges
Top tags
View all tags
0
Score
6
Posts
33
Posts %
0
Score
2
Posts
11
Posts %
0
Score
2
Posts
11
Posts %
0
Score
2
Posts
11
Posts %
0
Score
2
Posts
11
Posts %
0
Score
2
Posts
11
Posts %
Top posts
View all questions and answers
question
14
Problems with Unknown Single Exponential Time Agorithms
Mar 14, 2016
question
12
Circuit and Formula Lower Bounds for Separating Sparse Sets of Strings
Jan 1, 2021
question
10
Lower Bounds for Frege and Extended Frege
Mar 9, 2016
question
10
EXP-Complete Problems vs Subexponential Algorithms
Oct 12, 2016
question
6
OR-weft Hierarchy
Dec 19, 2016
question
6
Simplest Machine Model Accepting $L = \{ww^Rw\;|\; w\in \Sigma^*\}$
Apr 23, 2016
question
6
Resolution vs Nondeterministic Search Problems
Mar 24, 2018
question
6
Proving running time upper bounds for algorithms in dependent type theory
Aug 16, 2017
question
5
Equivalence for Constant-width Read-Once Branching Programs with Distinct Orders
Jan 24, 2017
question
4
Sampling Functions Efficiently vs Pseudorandom Generators
Feb 18, 2017
Top network posts
View all network posts
17
Publishing and Self-Archiving
16
New Symbols in Latex
9
Plus with a bullet in the middle
6
Square pictures as symbols
5
Dashed arrows in pb-diagram