Theoretical Computer Science
Vijay D
  • Berkeley, CA
  • Member for 10 years, 6 months
Profile Activity
Summary Answers Questions Tags Badges Bookmarks Bounties Reputation All actions

82 Answers

Votes Activity Newest
488
Core algorithms deployed
Nov 13 '13 at 0:33
351
What is the enlightenment I'm supposed to attain after studying finite automata?
Dec 23 '12 at 10:37
32
How practical is Automata Theory?
Oct 11 '11 at 4:41
30
Most memorable CS paper titles
Oct 22 '14 at 22:12
30
Applications of topology to computer science
Apr 7 '11 at 22:24
22
Beautiful results in TCS
Feb 27 '12 at 10:09
22
A topological space related to SAT: is it compact?
Sep 5 '11 at 20:41
20
What is theoretical computer science?
Nov 4 '13 at 22:09
19
Why can machine learning not recognize prime numbers?
Jan 11 '13 at 23:40
18
Starting SAT solver papers
Aug 4 '11 at 1:51
17
Do past time LTL and future time LTL have the same expressiveness?
Feb 11 '15 at 18:45
17
What is the goal behind abstract interpretation in programming languages?
Oct 27 '13 at 7:20
16
How can I use my computational theory and analysis powers for the greater good?
Mar 25 '13 at 2:59
15
Pointers for CS applications of logic
Jan 13 '13 at 23:06
14
Is there a hidden link between the existence uncountable sets and the undecidability of the halting problem?
Aug 7 '13 at 19:21
14
Enumerate all solutions of a SAT problem
Jul 3 '13 at 17:46
14
What algorithms exist for construction a DFA that recognizes the language described by a given regex?
Jan 3 '13 at 8:21
13
Uses of algebraic structures in theoretical computer science
Apr 2 '12 at 1:55
13
Casual tours around proofs
Nov 9 '11 at 16:06
12
Regular languages from category-theoretical point of view
May 10 '12 at 7:55
11
Practical applications of parity games
Feb 1 '15 at 3:31
11
To what extent can an algorithm predict the time complexity an arbitrary input program?
Dec 8 '12 at 10:03
11
Automated theorem proving via unsupervised approaches
Jun 27 '12 at 19:18
11
Alan Turing's Contributions to Computer Science
Jun 26 '12 at 21:35
11
Beautiful results in TCS
Feb 28 '12 at 7:13
10
What's the correlation between treewidth and instance hardness for random 3-SAT?
Aug 10 '13 at 2:39
10
Good reference about approximate methods for solving logic problems
Aug 22 '13 at 20:04
10
(N)DFA with same initial/accepting state(s)
Jul 7 '13 at 0:56
10
Proofs found by computer
Jan 14 '13 at 7:08
10
Can Hoare logic be used when objects are created or deleted?
Dec 25 '12 at 3:12
1
2 3

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.