user avatar
user avatar
user avatar
d3m4nz3
  • Member for 3 years, 3 months
  • Last seen more than a month ago
5 votes
1 answer
510 views

Why are $\sf{P} \ne \sf{NP}$ and $\sf{NP} \ne \sf{coNP}$ compatible?

4 votes
1 answer
64 views

How to represent calculable real numbers?

2 votes
2 answers
119 views

How is diagonalization a valid argument for the undecidability of the halting problem?

2 votes
2 answers
848 views

Unique 3SAT to Unique 1-in-3SAT

2 votes
0 answers
42 views

Names of specific SAT variants

2 votes
1 answer
96 views

Complete resolution rule for 1-in-k SAT

1 vote
2 answers
219 views

NP-completeness of testing whether a SAT formula does not contain any redundant clause

1 vote
0 answers
96 views

CircuitSAT to 1-in-3SAT

1 vote
1 answer
37 views

Finding all rows of 2 variables using Gaussian Elimination

1 vote
1 answer
69 views

Check if a row is in the span of a matrix

1 vote
1 answer
89 views

Unique 1-in-3 SAT

0 votes
1 answer
138 views

Maximum number of positive literals in 2SAT

0 votes
3 answers
66 views

Is it possible that Co-NP = P but NP != P

0 votes
2 answers
138 views

How would it be possible that primality testing is in P, but not factorization?

-1 votes
2 answers
234 views

Review my proof that Co-NP != P