Computer Science
Dmitri Chubarov
Profile Activity
Stats
1,339
reputation
55k
reached
25
answers
1
questions
About
Apparently, this user prefers to keep an air of mystery about them.

Communities (56)

Top network posts

This user doesn’t have any gold badges yet.
6
silver badges
13
bronze badges
View all badges

Top tags (46)

Score 54
Posts 12
Posts % 46
Score 24
Posts 3
Score 15
Posts 2
Score 12
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
12 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
7 Master theorem not applicable? Jun 16 '12
6 Deciding which logical proposition is stronger Aug 15 '16
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 →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.