Skip to main content
Theoretical Computer Science
Xavier Labouze's user avatar
Xavier Labouze's user avatar
Xavier Labouze's user avatar
Xavier Labouze
  • Member for 13 years, 3 months
  • Last seen more than a week ago
Profile Activity
Stats
1,137
reputation
20k
reached
5
answers
16
questions
Communities
View all
About

Professor of Statistics at University Paris-Saclay

Badges
View all badges
1
gold badge
9
silver badges
28
bronze badges
Top tags
View all tags
3
Score
5
Posts
24
Posts %
2
Score
19
Posts
90
Posts %
2
Score
17
Posts
81
Posts %
1
Score
7
Posts
33
Posts %
1
Score
2
Posts
10
Posts %
1
Score
2
Posts
10
Posts %
Top posts
View all questions and answers
question
18
Consequences of $NP=coNP$ and $P\ne NP$?
Sep 5, 2011
question
12
Unique SAT vs Exactly $m$ models
Sep 26, 2011
question
11
A variant of Critical SAT in DP
Sep 13, 2011
question
10
About Inverse 3-SAT
Mar 19, 2013
question
10
Transform a CNF into an equivalent 3-CNF defined on the same variables
Nov 15, 2013
question
8
Complexity of the $(3,2)_s$ SAT problem?
Jul 15, 2013
question
7
Complexity of Exactly $A$-SAT
Nov 11, 2011
question
4
3-SAT mixed with 2-SAT formulas
Sep 4, 2020
question
4
Surveys in other languages than English
Aug 10, 2012
question
4
About Closure under Resolution
Mar 11, 2013
Top network posts
View all network posts
24
Another Unusual Mate in One
15
Where to find raw data about clinical trials?
10
Mate in One the Missing King
9
From Mate-in-3 to Mate-in-1
9
Famous statistical quotations