Theoretical Computer Science
SagarM's user avatar
SagarM's user avatar
SagarM's user avatar
SagarM
  • Member for 4 years, 1 month
  • Last seen more than a week ago
Profile Activity
Stats
706
reputation
4k
reached
1
answer
20
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
8
bronze badges
Top tags
View all tags
0
Score
11
Posts
52
Posts %
0
Score
6
Posts
29
Posts %
0
Score
4
Posts
19
Posts %
0
Score
4
Posts
19
Posts %
0
Score
3
Posts
14
Posts %
0
Score
2
Posts
10
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
9
Existing implementation of Scott's reduction?
Jul 30, 2020
question
8
Is there any online lecture series that covers "Computational Complexity: A Modern Approach"?
Nov 6, 2020
question
8
Are there analogous works to PPSZ algorithm for #P?
Feb 19, 2021
question
6
Are all computational models of quantum computing equivalent?
Nov 24, 2020
question
6
Can modern SAT-Solvers utilise the symmetry of First Order Logic?
Jul 6, 2020
question
3
Normal forms for counting quantifiers?
Aug 1, 2020
question
3
Evaluating asymptotic probabilities of First Order Logic Formulas?
Mar 29, 2022
question
2
Scott's normal form for $\exists y \forall x R(x,y) $
Dec 14, 2020
question
2
Is Scott's reduction sound for $\mathrm{FO}^2$ with equality?
Aug 8, 2020
question
2
Regularity Lemma for Multi-Relational Graphs?
Aug 4, 2022
Top network posts
View all network posts
8
Visually stunning math concepts which are easy to explain
7
What does $\exists^{=1}$ stands for?
7
Trying to understand the formula for counting labelled directed acyclic graphs?
7
Showing Logical Equivalence

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.