Theoretical Computer Science
Profile Activity
Meta user
Network profile
508
reputation
1
8

SagarM
top 16% this quarter

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

1
answer
13
questions
~2k
people reached
  • Trento, Italy
  • Member for 1 year, 9 months
  • 58 profile views
  • Last seen 2 days ago

Communities (19)

Top network posts

Top tags (13)

Score 0
Posts 9
Posts % 64
Score 0
Posts 4
Score 0
Posts 3
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 1
View all tags →

Top posts (14)

All Questions Answers
Votes Newest
8 Is there any online lecture series that covers “Computational Complexity: A Modern Approach”? Nov 6 '20
6 Can modern SAT-Solvers utilise the symmetry of First Order Logic? Jul 6 '20
6 Existing implementation of Scott's reduction? Jul 30 '20
6 Are all computational models of quantum computing equivalent? Nov 24 '20
3 Normal forms for counting quantifiers? Aug 1 '20
2 Scott's normal form for $\exists y \forall x R(x,y) $ Dec 14 '20
2 What is the computational complexity of Acyclic Joins? Mar 3 '20
1 Is Scott's reduction sound for $\mathrm{FO}^2$ with equality? Aug 8 '20
1 How does complexity of a counting problem influence wether it admits a closed form formula or not? Oct 22 '20
1 Constructing FOL formula for which counting is easy? Jul 7 '20
View all questions and answers →

Badges (9)

Gold

—

Silver

1

Rarest

Bronze

8

Rarest