Computer Science
Profile Activity
Meta user
Network profile
1,299
reputation
5
16

rus9384

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

22
answers
45
questions
~18k
people reached
  • Member for 3 years, 6 months
  • 234 profile views
  • Last seen 14 hours ago

Communities (43)

Top network posts

Top tags (47)

Score 24
Posts 35
Posts % 52
Score 11
Posts 9
Score 9
Posts 6
Score 8
Posts 19
Score 5
Posts 5
Score 4
Posts 6
View all tags →

Top posts (67)

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 What is complexity class for #XOR-2-SAT? Aug 9 '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 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 (21)

Gold

—

Silver

5

Rarest

Bronze

16

Rarest

View all badges →