Skip to main content
Theoretical Computer Science
Avi Tal's user avatar
Avi Tal's user avatar
Avi Tal's user avatar
Avi Tal
  • Member for 6 years, 2 months
  • Last seen this week
Profile Activity
Stats
1,606
reputation
80k
reached
30
answers
6
questions
Communities
View all
Badges
View all badges
1
gold badge
9
silver badges
13
bronze badges
Top tags
View all tags
47
Score
12
Posts
33
Posts %
20
Score
7
Posts
19
Posts %
15
Score
3
Posts
8
Posts %
10
Score
2
Posts
6
Posts %
8
Score
2
Posts
6
Posts %
7
Score
4
Posts
11
Posts %
Top posts
View all questions and answers
20
Most important new papers in computational complexity
Jun 24, 2019
12
Implications of unprovability of $P\neq NP$
Nov 27, 2019
10
Relatively low ambitious frontiers
Oct 12, 2018
9
Indications that strengthen the conjecture: NEXP ⊊ EXP^NP
Sep 6, 2018
9
Any fundamental papers in TCS which were found to be incorrect/wrong later?
May 30, 2020
9
Is there any online lecture series that covers "Computational Complexity: A Modern Approach"?
Nov 8, 2020
7
Solving 3-SAT in O(n^6)?
Aug 9, 2022
7
Conesequences of $\forall k\in \mathbb N \space NP\not\subseteq TISP(poly(n),n^k)$
Sep 2, 2018
7
What videos should everybody watch?
Mar 19, 2020
6
Algorithm for identifying unprovable statements
Sep 30, 2018
Top Meta posts
1
0
5
Renaming this forum
Top network posts
View all network posts
10
Are there languages L1 ⊆ L2 ⊆ L3 when L1 and L3 are NP-Complete languages and L2 ∈ P?