Computer Science
Meta user
Network profile
1,211
reputation
4
15

rus9384

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

22
answers
39
questions
~15k
people reached
  • Member for 2 years, 8 months
  • 200 profile views
  • Last seen 11 hours ago

Communities (42)

Top network posts

Top tags (44)

Score 24
Posts 28
Posts % 46
Score 11
Posts 8
Score 8
Posts 18
Score 8
Posts 4
Score 5
Posts 5
Score 4
Posts 6
View all tags →

Top posts (61) All Questions Answers | Votes Newest

8 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 (19)

Gold

—

Silver

4

Rarest

Bronze

15

Rarest

View all badges →