Theoretical Computer Science
Reijo Jaakkola's user avatar
Reijo Jaakkola's user avatar
Reijo Jaakkola's user avatar
Reijo Jaakkola
  • Member for 2 years, 3 months
  • Last seen this week
Profile Activity
Stats
938
reputation
8k
reached
9
answers
4
questions
Communities
View all
About

Ph.D. student in logic at Tampere University.

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
12
bronze badges
Top tags
View all tags
16
Score
2
Posts
15
Posts %
9
Score
2
Posts
15
Posts %
9
Score
2
Posts
15
Posts %
8
Score
1
Posts
8
Posts %
8
Score
1
Posts
8
Posts %
7
Score
3
Posts
23
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
9
Validity problem of intuitionistic two-variable logic
Dec 28, 2021
answer
8
What is the complexity of HORN-2CNF entailment?
Nov 15, 2021
answer
8
Lexicographic Boolean satisfiability
Aug 13, 2021
answer
7
Are MSO formulae expressible as existential SO formulae over arbitrary structures?
Jul 5
answer
6
Can theoretical computer science be applied in social sciences?
Aug 16, 2021
question
6
Concrete family of propositional formulas
Nov 30, 2022
answer
5
Evaluating asymptotic probabilities of First Order Logic Formulas?
Mar 29, 2022
answer
4
What is the impact of encodings of sparse structures on the complexity of the model checking problem?
Aug 13, 2021
answer
3
Best known algorithm for NEXP-complete problem
May 30, 2022
question
2
Natural proofs and size of propositional formulas
May 9, 2022

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.