Theoretical Computer Science
sean's user avatar
sean's user avatar
sean's user avatar
sean
  • Member for 11 years, 3 months
  • Last seen more than 2 years ago
Profile Activity
Stats
722
reputation
13k
reached
6
answers
6
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
15
bronze badges
Top tags
View all tags
8
Score
4
Posts
33
Posts %
4
Score
1
Posts
8
Posts %
4
Score
1
Posts
8
Posts %
4
Score
1
Posts
8
Posts %
3
Score
1
Posts
8
Posts %
3
Score
1
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
20
Symbolic Execution is a case of Abstract Interpretation?
Nov 7, 2013
question
12
Enumerate all solutions of a SAT problem
Jul 3, 2013
question
8
Do past time LTL and future time LTL have the same expressiveness?
Feb 10, 2015
question
6
Why backward symbolic execution is so unpopular?
Apr 2, 2017
answer
4
Remove unneeded atoms in CNF minimalization (SAT preprocessing)
May 26, 2014
answer
3
The number of integral points in a polytope
Apr 26, 2014
answer
2
Abstract high-level framwork for #SAT
Nov 2, 2015
answer
2
variations of SAT
Sep 7, 2013
answer
2
Physics results in TCS?
Apr 25, 2014
question
1
Determine if a structure is a model of an inductively defined predicate
Sep 25, 2017
Top network posts
View all network posts
316
Should I share my horrible software?
130
If I quit my PhD, would it make my advisor look bad?
83
Do Asian authors have a different style of academic writing from European authors?
60
I can't find my Docker image after building it
60
How do I identify predatory and low quality journals? With Beall's List gone, how can I tell if a journal is spam?

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.