Theoretical Computer Science
Profile Activity
Meta user
Network profile
1,676
reputation
1
11
20

holf

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

21
answers
1
question
~6k
people reached
  • Lille, France
  • florent.capelli.me
  • Member for 3 years, 5 months
  • 206 profile views
  • Last seen 2 hours ago

Communities (2)

Top network posts

Top tags (41)

Score 42
Posts 5
Posts % 23
Score 33
Posts 2
Score 32
Posts 7
Score 27
Posts 3
Score 26
Posts 5
Score 25
Posts 3
View all tags →

Top posts (22)

All Questions Answers
Votes Newest
20 Counting the number of satisfying assignments in a POSITIVE CNF-SAT May 13 '17
13 How to talk about theory Oct 23 '18
13 On theoretical aproaches for solving $\mathsf{SAT}$ in special cases Sep 27 '19
10 Is deciding whether changing one entry decreases the permanent of a matrix in the polynomial hierarchy? Oct 2 '18
9 Complexity of computing generalised determinants. (P - #P transition) Dec 2 '16
8 Containment problem of an acyclic NFA in an NFA Feb 2
7 SETH-like hypothesis for machine with oracle access to some level of PH Dec 14 '16
6 Easy problems with hard counting versions Oct 21 '16
6 W[1]-hard problems with FPT time approximation algorithms Apr 29 '18
6 Complexity of SAT parameterized by treewidth Oct 9 '19
View all questions and answers →

Badges (32)

Gold

1

Rarest

Silver

11

Rarest

Bronze

20

Rarest

View all badges →