Skip to main content
New
Stack Overflow Jobs powered by Indeed: A job site that puts thousands of tech jobs at your fingertips (U.S. only). Search jobs
Xavier Labouze's user avatar
Xavier Labouze's user avatar
Xavier Labouze's user avatar
Xavier Labouze
  • Member for 12 years, 9 months
  • Last seen more than a week ago
18 votes
4 answers
5k views

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

12 votes
1 answer
1k views

Unique SAT vs Exactly $m$ models

11 votes
2 answers
1k views

A variant of Critical SAT in DP

10 votes
2 answers
2k views

About Inverse 3-SAT

9 votes
1 answer
5k views

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

8 votes
2 answers
551 views

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

7 votes
0 answers
639 views

Complexity of Exactly $A$-SAT

4 votes
1 answer
284 views

3-SAT mixed with 2-SAT formulas

4 votes
1 answer
244 views

Surveys in other languages than English

4 votes
1 answer
370 views

About Closure under Resolution

2 votes
1 answer
220 views

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

2 votes
2 answers
244 views

Finding the Length of the shortest Accepting path of a NDTM

1 vote
1 answer
1k views

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

1 vote
1 answer
131 views

Implied Clause and Resolvent

-2 votes
1 answer
1k views

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

-5 votes
1 answer
278 views

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