Skip to main content
dspyz's user avatar
dspyz's user avatar
dspyz's user avatar
dspyz
  • Member for 11 years, 4 months
  • Last seen more than a month ago
10 votes
2 answers
2k views

Is Almost-2-SAT NP-hard?

6 votes
1 answer
406 views

Would an optimal sorting network ever have to swap two numbers the "wrong" way

6 votes
1 answer
249 views

Does the 0-1 principle apply to merge networks?

5 votes
1 answer
528 views

Worst case ratio between minimum clique cover and maximum independent set

5 votes
1 answer
90 views

Can a normal form term be extensionally equivalent to a term with no WHNF?

4 votes
1 answer
366 views

Asymptotic complexity of CDCL SAT solver that only selects negative literals

3 votes
1 answer
99 views

Translating pure literal elimination into rup

2 votes
1 answer
1k views

How to approximate minimum clique edge cover

2 votes
0 answers
197 views

Most general form of SAT which is in P

1 vote
0 answers
79 views

Best Asymptotic Complexity for Persistent Union Find

1 vote
0 answers
99 views

Find all paths between specially paired nodes in a DAG in linear time

0 votes
0 answers
203 views

Finding assignment-minimum complete k-partite graph cover

0 votes
3 answers
282 views

Terminology for complete k-partite graph where k is not fixed

-2 votes
1 answer
67 views

Assign each biclique to a distinct left