Computer Science
DCTLib
  • Member for 8 years, 2 months
Profile Activity
Stats
2,672
reputation
44k
reached
52
answers
0
questions
About
Apparently, this user prefers to keep an air of mystery about them.

Communities (22)

Top network posts

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

Top tags (60)

Score 90
Posts 6
Posts % 12
Score 48
Posts 18
Score 35
Posts 15
Score 27
Posts 11
Score 27
Posts 11
Score 23
Posts 6
View all tags →

Top posts (52)

All Questions Answers
Votes Newest
82 Why is binary search faster than ternary search? Sep 8 '14
9 How does automated verification of systems with infinitely many states work? Feb 14 '18
9 How similar are two DFAs? -not just binary equivalence- Apr 22 '16
9 Undecidability in the context of modern programming languages Oct 23 '14
8 How exactly MOV AX will load data from RAM? Sep 18 '14
5 Is model checking PSpace-hard *in formula size*? Apr 10 '19
5 Equisatisfiability in the reduction from 4-SAT to 3-SAT Feb 23 '18
5 Determining a minimal-state regular language $A$ such that $A \cap B = C$ given regular languages $B$ and $C$ Oct 5 '16
4 Büchi automaton to Linear Temporal Logic Oct 1 '19
4 Initial States in Moore Machine? Mar 4 '19
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.