Results from the 2022 Developer Survey are now available
Theoretical Computer Science
user avatar
user avatar
user avatar
holf
  • Member for 5 years, 8 months
  • Last seen this week
Profile Activity
Stats
1,855
reputation
9k
reached
26
answers
1
question
Communities
About

Mainly interested in (parametrized/counting) complexity theory, graph theory and knowledge compilation.

Badges
View all badges
1
gold badge
13
silver badges
20
bronze badges
Top tags
View all tags
44
Score
5
Posts
19
Posts %
38
Score
9
Posts
33
Posts %
29
Score
6
Posts
22
Posts %
27
Score
3
Posts
11
Posts %
25
Score
3
Posts
11
Posts %
18
Score
5
Posts
19
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
20
Counting the number of satisfying assignments in a POSITIVE CNF-SAT
May 13, 2017
answer
14
On theoretical aproaches for solving $\mathsf{SAT}$ in special cases
Sep 27, 2019
answer
13
How to talk about theory
Oct 23, 2018
answer
10
Is deciding whether changing one entry decreases the permanent of a matrix in the polynomial hierarchy?
Oct 2, 2018
answer
9
Complexity of computing generalised determinants. (P - #P transition)
Dec 2, 2016
answer
8
Containment problem of an acyclic NFA in an NFA
Feb 2, 2020
question
7
SETH-like hypothesis for machine with oracle access to some level of PH
Dec 14, 2016
answer
6
Easy problems with hard counting versions
Oct 21, 2016
answer
6
W[1]-hard problems with FPT time approximation algorithms
Apr 29, 2018
answer
6
Complexity of SAT parameterized by treewidth
Oct 9, 2019
Top network posts
View all network posts
10
Proof that TAUT is coNP-complete (or that a problem is coNP-complete if its complement is NP-complete)
7
Is #HORNSAT polynomial?
7
What does the $O^*$ notation mean?

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.