user avatar
user avatar
user avatar
Vijay D
  • Member for 11 years, 3 months
  • Last seen more than 2 years ago
  • Berkeley, CA
491 votes
Accepted

Core algorithms deployed

352 votes
Accepted

What is the enlightenment I'm supposed to attain after studying finite automata?

33 votes

How practical is Automata Theory?

31 votes

Applications of topology to computer science

30 votes

Most memorable CS paper titles

22 votes

A topological space related to SAT: is it compact?

22 votes

Beautiful results in TCS

21 votes

What is theoretical computer science?

19 votes

Why can machine learning not recognize prime numbers?

18 votes

Starting SAT solver papers

18 votes
Accepted

Do past time LTL and future time LTL have the same expressiveness?

17 votes
Accepted

What is the goal behind abstract interpretation in programming languages?

16 votes
Accepted

What algorithms exist for construction a DFA that recognizes the language described by a given regex?

16 votes
Accepted

How can I use my computational theory and analysis powers for the greater good?

15 votes

Pointers for CS applications of logic

14 votes
Accepted

Enumerate all solutions of a SAT problem

14 votes
Accepted

Is there a hidden link between the existence uncountable sets and the undecidability of the halting problem?

13 votes

Casual tours around proofs

13 votes

Uses of algebraic structures in theoretical computer science

12 votes

Regular languages from category-theoretical point of view

12 votes
Accepted

Automated theorem proving via unsupervised approaches

11 votes

Alan Turing's Contributions to Computer Science

11 votes

Beautiful results in TCS

11 votes

To what extent can an algorithm predict the time complexity an arbitrary input program?

11 votes
Accepted

Practical applications of parity games

10 votes
Accepted

What's the correlation between treewidth and instance hardness for random 3-SAT?

10 votes

Good reference about approximate methods for solving logic problems

10 votes

Can Hoare logic be used when objects are created or deleted?

10 votes

Proofs found by computer

10 votes

(N)DFA with same initial/accepting state(s)