Theoretical Computer Science
Meta user
Network profile
520
reputation
1
5
24

Xavier Labouze

Professor of Statistics at University Paris 11

5
answers
14
questions
~10k
people reached
  • Paris, France
  • u-psud.fr
  • Member for 8 years, 1 month
  • 416 profile views
  • Last seen Feb 9 at 18:17

Communities (10)

Top network posts

Top tags (17)

Score 3
Posts 15
Posts % 79
Score 3
Posts 5
Score 2
Posts 18
Score 1
Posts 5
Score 1
Posts 2
Score 1
Posts 2
View all tags →

Top posts (19) All Questions Answers | Votes Newest

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

Badges (30)

Gold

1

Rarest

Silver

5

Rarest

Bronze

24

Rarest

View all badges →