Computer Science
Profile Activity
Meta user
Network profile
389
reputation
1
9

rb612

Apparently, this user prefers to keep an air of mystery about them.

0
answers
12
questions
~4k
people reached
  • Member for 4 years, 1 month
  • 15 profile views
  • Last seen Jun 21 at 11:20

Communities (20)

Top network posts

Top tags (19)

Score 0
Posts 7
Posts % 58
Score 0
Posts 6
Score 0
Posts 5
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 2
View all tags →

Top posts (12)

All Questions Answers
Votes Newest
6 How do we know for sure that EXPTIME ≠ P? Jun 1 '16
5 Is EXPTIME “solvable” or “checkable” in exponential time? May 29 '16
4 What complexity class would this version of generalized chess fall? Jun 2 '16
3 How are games like chess provably harder than NP? Jun 3 '16
2 Questions on Sipser's NP implying verifiability? Apr 14 '18
2 How does (non)deterministic time relate to verifiability? Jun 2 '16
1 How is it possible that an equational theory be terminating? Mar 28
1 Injectivity not required for unification algorithms? Mar 25
1 NP and verifiability equivalence - does this guarantee that any certificate can be verified in polynomial time? Jan 11 '18
1 Second-order Markov text generation? Jul 2 '17
View all questions and answers →

Badges (10)

Gold

—

Silver

1

Rarest

Bronze

9

Rarest