Theoretical Computer Science
smengel's user avatar
smengel's user avatar
smengel's user avatar
smengel
  • Member for 6 years, 7 months
  • Last seen more than 4 years ago
Profile Activity
Stats
156
reputation
1k
reached
4
answers
0
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
Top tags
View all tags
9
Score
2
Posts
50
Posts %
7
Score
2
Posts
50
Posts %
6
Score
1
Posts
25
Posts %
6
Score
1
Posts
25
Posts %
6
Score
1
Posts
25
Posts %
4
Score
1
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
answer
6
How to benchmark #2-SAT counting algorithms?
Oct 9, 2017
answer
4
Reference request: Arithmetic circuit complexity
Jun 19, 2018
answer
3
Concrete examples of $\sharp P_1$ complete problems? Self avoiding walks?
Jan 31, 2019
answer
1
How to construct a branching program for a given function or formula?
Aug 7, 2018

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.