Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Meta user
Network profile
1,264
reputation
6
12

Dmitri Chubarov

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

25
answers
1
question
~36k
people reached

Communities (52)

Top network posts

Top tags (46)

Score 50
Posts 12
Posts % 46
Score 21
Posts 3
Score 12
Posts 2
Score 11
Posts 2
Score 10
Posts 3
Score 9
Posts 2
View all tags →

Top posts (26) All Questions Answers | Votes Newest

13 Can constraint satisfaction problems be solved with Prolog? May 26 '12
9 The difference between a sequence and a set Jan 13 '13
8 Is the validity of some instance of an equational problem decidable? Aug 25 '12
6 Deciding which logical proposition is stronger Aug 15 '16
6 Master theorem not applicable? Jun 16 '12
6 Is WPA2 with pre-shared key an example of a zero-knowledge proof? May 6 '12
5 The use of multiset ordering in proving termination Jan 20 '13
5 Weighted subset sum problem Jun 2 '12
5 Why do TPTP Performance plots look like this? Aug 10 '17
4 Clarification on halting predicate computability Jan 19 '13
View all questions and answers →

Badges (18)

Gold

—

Silver

6

Rarest

Bronze

12

Rarest

View all badges →