dspyz
  • Member for 8 years, 11 months
  • Last seen this week
0 answers
0 votes
21 views
Is having a particular form equivalent to being computable for functions on Church numerals?
1 answers
5 votes
76 views
Can a normal form term be extensionally equivalent to a term with no WHNF?
1 answers
3 votes
71 views
1 bookmarks
Translating pure literal elimination into rup
0 answers
1 votes
43 views
Find all paths between specially paired nodes in a DAG in linear time
1 answers
4 votes
324 views
Asymptotic complexity of CDCL SAT solver that only selects negative literals
0 answers
1 votes
72 views
Best Asymptotic Complexity for Persistent Union Find
1 answers
-2 votes
67 views
Assign each biclique to a distinct left
1 answers
6 votes
225 views
Does the 0-1 principle apply to merge networks?
1 answers
6 votes
385 views
1 bookmarks
Would an optimal sorting network ever have to swap two numbers the "wrong" way
3 answers
0 votes
274 views
Terminology for complete k-partite graph where k is not fixed
1 answers
5 votes
447 views
Worst case ratio between minimum clique cover and maximum independent set
2 answers
10 votes
1k views
1 bookmarks
Is Almost-2-SAT NP-hard?
0 answers
2 votes
190 views
Most general form of SAT which is in P
0 answers
0 votes
196 views
Finding assignment-minimum complete k-partite graph cover
1 answers
2 votes
925 views
How to approximate minimum clique edge cover