Skip to main content
Computer Science
DCTLib's user avatar
DCTLib's user avatar
DCTLib's user avatar
DCTLib
  • Member for 10 years, 11 months
  • Last seen more than a month ago
Profile Activity
Stats
2,797
reputation
56k
reached
53
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
16
silver badges
13
bronze badges
Top tags
View all tags
95
Score
6
Posts
11
Posts %
49
Score
18
Posts
34
Posts %
39
Score
16
Posts
30
Posts %
28
Score
11
Posts
21
Posts %
28
Score
11
Posts
21
Posts %
24
Score
6
Posts
11
Posts %
Top posts
View all questions and answers
87
Why is binary search faster than ternary search?
Sep 8, 2014
9
Undecidability in the context of modern programming languages
Oct 23, 2014
9
How similar are two DFAs? -not just binary equivalence-
Apr 22, 2016
9
How does automated verification of systems with infinitely many states work?
Feb 14, 2018
8
How exactly MOV AX will load data from RAM?
Sep 18, 2014
5
Is model checking PSpace-hard *in formula size*?
Apr 10, 2019
5
Reducing Zero-One Integer Linear Programming problem to SAT
Aug 4, 2016
5
Why are non-deterministic Buchi automata factorially succinct when compared to deterministic Rabin Automata?
Apr 26, 2018
5
Determining a minimal-state regular language $A$ such that $A \cap B = C$ given regular languages $B$ and $C$
Oct 5, 2016
5
Equisatisfiability in the reduction from 4-SAT to 3-SAT
Feb 23, 2018
Top network posts
View all network posts
84
Do I have the legal right to demand information on plagiarism of my work from another university?
77
Should I let my professor know that I cited a text written by him....that I pirated from online
76
Why would a company want me to book a flight via a travel agent if it is more expensive?
67
Is it fair that a PhD student should be allowed to review a research paper?
59
Who goes first? Person disembarking bus or the bicycle?