user avatar
user avatar
user avatar
Xavier Labouze
  • Member for 10 years, 11 months
  • Last seen more than a week ago
14 votes
4 answers
4k views

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

12 votes
1 answer
1k views

Unique SAT vs Exactly $m$ models

10 votes
2 answers
1k views

A variant of Critical SAT in DP

10 votes
2 answers
1k views

About Inverse 3-SAT

9 votes
1 answer
4k views

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

8 votes
2 answers
519 views

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

7 votes
0 answers
634 views

Complexity of Exactly $A$-SAT

4 votes
1 answer
251 views

3-SAT mixed with 2-SAT formulas

4 votes
1 answer
244 views

Surveys in other languages than English

4 votes
1 answer
304 views

About Closure under Resolution

2 votes
1 answer
171 views

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

2 votes
2 answers
241 views

Finding the Length of the shortest Accepting path of a NDTM

1 vote
1 answer
758 views

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

1 vote
1 answer
125 views

Implied Clause and Resolvent

-2 votes
1 answer
1k views

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

-5 votes
1 answer
275 views

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