Computer Science
Meta user
Network profile
891
reputation
4
14

rus9384

Apparently, this user prefers to keep an air of mystery about them.

22
answers
39
questions
~13k
people reached
  • Member for 2 years, 3 months
  • 192 profile views
  • Last seen 2 days ago

Communities (42)

Top network posts

Top tags (44)

Score 23
Posts 28
Posts % 46
Score 8
Posts 18
Score 7
Posts 4
Score 5
Posts 5
Score 4
Posts 6
Score 3
Posts 10
View all tags →

Top posts (61) All Questions Answers | Votes Newest

7 Oracle Turing Machine $EXP^{EXP}$ Sep 14 '17
4 Unique SAT complexity clarification Jun 28 '17
4 Can minimal CNF contain clause longer than initial CNF? Jun 17 '17
4 Why Djikstra's algorithm is said to have $\mathcal{O}(|V|^2)$ complexity? May 27 '17
3 How hard is it to find the length of multiplicative 2-partition? Feb 14 '18
3 Linear time multiplication on RAM machine? Sep 9 '17
3 Satisfiabililty sufficient condition? Jul 11 '17
3 What is complexity class for #XOR-2-SAT? Aug 9 '17
3 Is it possible to prove $\mathsf{BPP = NP}$ statistically? Jun 8 '17
3 Solving 2-CNF TQBF with #SAT solver? Jun 2 '17
View all questions and answers →

Badges (18)

Gold

—

Silver

4

Rarest

Bronze

14

Rarest

View all badges →