User Xavier Labouze - Theoretical Computer Science Stack Exchange

Xavier Labouze

Member for 11 years, 7 months
Last seen this week

universite-paris-saclay.fr
Paris, France

16 Questions

Score Activity Newest Views

14 votes

4 answers

4k views

Consequences of $NP=coNP$ and $P\ne NP$?

asked Sep 5, 2011 at 1:06

12 votes

1 answer

1k views

Unique SAT vs Exactly $m$ models

asked Sep 26, 2011 at 20:52

10 votes

2 answers

1k views

A variant of Critical SAT in DP

asked Sep 13, 2011 at 10:51

10 votes

2 answers

1k views

About Inverse 3-SAT

asked Mar 19, 2013 at 11:13

9 votes

1 answer

4k views

Transform a CNF into an equivalent 3-CNF defined on the same variables

asked Nov 15, 2013 at 9:03

8 votes

2 answers

534 views

Complexity of the $(3,2)_s$ SAT problem?

asked Jul 15, 2013 at 15:23

7 votes

0 answers

637 views

Complexity of Exactly $A$-SAT

asked Nov 11, 2011 at 17:13

4 votes

1 answer

269 views

3-SAT mixed with 2-SAT formulas

asked Sep 4, 2020 at 17:23

4 votes

1 answer

244 views

Surveys in other languages than English

asked Aug 10, 2012 at 5:48

4 votes

1 answer

329 views

About Closure under Resolution

asked Mar 11, 2013 at 14:21

2 votes

1 answer

197 views

Complexity of the Complete (3,2) SAT problem?

asked May 12, 2022 at 10:50

2 votes

2 answers

242 views

Finding the Length of the shortest Accepting path of a NDTM

asked Feb 7, 2012 at 1:24

1 vote

1 answer

861 views

1- in -$k$ SAT to $k$-SAT reduction

asked Aug 30, 2011 at 22:49

1 vote

1 answer

126 views

Implied Clause and Resolvent

asked Apr 9, 2013 at 21:56

-2 votes

1 answer

1k views

Solving $n$-SAT and #$n$-SAT

asked Aug 27, 2011 at 0:38

-5 votes

1 answer

276 views

Does a Non deterministic TM halt after the same number of steps on the same input? [closed]

asked Feb 23, 2012 at 22:55