Theoretical Computer Science
Profile Activity
Meta user
Network profile
1,027
reputation
1
9
25

Xavier Labouze

Professor of Statistics at University Paris-Saclay

5
answers
15
questions
~14k
people reached

Communities (12)

Top network posts

Top tags (18)

Score 3
Posts 16
Posts % 80
Score 3
Posts 5
Score 2
Posts 18
Score 1
Posts 6
Score 1
Posts 2
Score 1
Posts 2
View all tags →

Top posts (20)

All Questions Answers
Votes Newest
12 Consequences of $NP=coNP$ and $P\ne NP$? Sep 5 '11
12 Unique SAT vs Exactly $m$ models Sep 26 '11
10 A variant of Critical SAT in DP Sep 13 '11
10 About Inverse 3-SAT Mar 19 '13
9 Transform a CNF into an equivalent 3-CNF defined on the same variables Nov 15 '13
8 Complexity of the $(3,2)_s$ SAT problem? Jul 15 '13
7 Complexity of Exactly $A$-SAT Nov 11 '11
4 3-SAT mixed with 2-SAT formulas Sep 4 '20
4 Surveys in other languages than English Aug 10 '12
4 About Closure under Resolution Mar 11 '13
View all questions and answers →

Badges (35)

Gold

1

Rarest

Silver

9

Rarest

Bronze

25

Rarest

View all badges →

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.