Xavier Labouze
  • Member for 10 years, 5 months
  • Last seen more than a month ago
4 answers
13 votes
4k views
7 bookmarks
Consequences of $NP=coNP$ and $P\ne NP$?
1 answers
12 votes
1k views
4 bookmarks
Unique SAT vs Exactly $m$ models
2 answers
10 votes
1k views
3 bookmarks
About Inverse 3-SAT
2 answers
10 votes
1k views
2 bookmarks
A variant of Critical SAT in DP
1 answers
9 votes
3k views
4 bookmarks
Transform a CNF into an equivalent 3-CNF defined on the same variables
2 answers
8 votes
468 views
Complexity of the $(3,2)_s$ SAT problem?
0 answers
7 votes
630 views
2 bookmarks
Complexity of Exactly $A$-SAT
1 answers
4 votes
244 views
1 bookmarks
3-SAT mixed with 2-SAT formulas
1 answers
4 votes
278 views
1 bookmarks
About Closure under Resolution
1 answers
4 votes
242 views
Surveys in other languages than English
2 answers
2 votes
236 views
Finding the Length of the shortest Accepting path of a NDTM
1 answers
1 votes
123 views
Implied Clause and Resolvent
1 answers
1 votes
660 views
3 bookmarks
1- in -$k$ SAT to $k$-SAT reduction
1 answers
-2 votes
996 views
Solving $n$-SAT and #$n$-SAT
1 answers
-5 votes
272 views
Does a Non deterministic TM halt after the same number of steps on the same input?