Theoretical Computer Science
Guy's user avatar
Guy's user avatar
Guy's user avatar
Guy
  • Member for 13 years, 2 months
  • Last seen more than 4 years ago
Profile Activity
Stats
1,195
reputation
46k
reached
6
answers
4
questions
Communities
View all
Badges
View all badges
1
gold badge
8
silver badges
8
bronze badges
Top tags
View all tags
8
Score
3
Posts
30
Posts %
7
Score
3
Posts
30
Posts %
7
Score
2
Posts
20
Posts %
5
Score
2
Posts
20
Posts %
5
Score
1
Posts
10
Posts %
2
Score
2
Posts
20
Posts %
Top posts
All Questions Answers
Score Newest
question
74
Why is 2SAT in P?
Jun 5, 2011
question
8
Generating a point in a rational polytope $P \subseteq R^k$ given a point in $P^\epsilon$
Jul 24, 2012
question
6
Bounds on the size of the solution of a quadratic program
Jan 4, 2015
answer
5
LTL property - safety or liveness?
Feb 6, 2015
answer
4
TCS Research Frontier with Huge Practical and Industrial Impact on our Society
Oct 11, 2012
answer
3
Getting an automaton from set of words in and out of a language
Oct 16, 2012
question
3
Is the problem "MIN-SET-PARTITION" an NP-hard problem?
Dec 7, 2011
answer
3
Finite Automata with succinct representation of chains of states
Oct 27, 2016
answer
2
What's the simplest to implement of all decent LTL-to-Buchi translation or other LTL verification algorithms?
May 7, 2011
answer
0
Kripke model and LTL vs CTL formulae interpretation
Jun 29, 2012
Top network posts
View all network posts
187
How to use "not" in XPath?
115
QED symbol in latex
66
Speed up beamer compile time
49
Is there a built in package to parse html into dom?
36
python: are property fields being cached automatically?

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.