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, 8 months
  • 16 profile views
  • Last seen Sep 11 '20 at 1:55

Communities (21)

Top network posts

Top tags (0)

This user has not participated in any 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 (10)

Gold

—

Silver

1

Rarest

Bronze

9

Rarest