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

rb612

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

0
answers
12
questions
~5k
people reached
  • Member for 5 years, 2 months
  • 16 profile views
  • Last seen Jul 14 at 3:36

Communities (21)

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 '20
1 Injectivity not required for unification algorithms? Mar 25 '20
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 (11)

Gold

—

Silver

1

Rarest

Bronze

10

Rarest

View all badges →

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.