Theoretical Computer Science
Xavier Labouze
Profile Activity
Stats
1,037
reputation
14k
reached
5
answers
15
questions
About

Professor of Statistics at University Paris-Saclay

Communities (12)

Top network posts

1
gold badge
9
silver badges
25
bronze badges
View all badges

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
13 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 →

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.