user avatar
user avatar
user avatar
d3m4nz3
  • Member for 3 years, 4 months
  • Last seen more than a month ago
9 votes

how to construct a formula with an opposite SAT value of another one

6 votes

What is the evidence that P could equal NP?

3 votes

Can anyone give me an instance of 3SAT with exactly one solution?

2 votes

Subset Sum to SAT reduction

1 vote
Accepted

Turing reducibility of 2 versions of the satisfiability problem

1 vote
Accepted

Reducibility of 2 boolean satisfiability problems

1 vote

What is the time complexity Big-O of this algorithm?

1 vote

When does Gaussian elimination solve exact 1-in-3 SAT?

1 vote

Change the structure from 3SAT to 1in3 3SAT

1 vote

Is there an Interval Tree which supports O(1) dynamic space requirements for queries?

0 votes

Why is casting float to double applicable?

0 votes

Counting the number of satisfied models - given mathematical constraints

0 votes

Reduction 3SAT and CLIQUE

0 votes

Are NP proofs limited to polynomial length?