Skip to main content
Theoretical Computer Science
Reijo Jaakkola's user avatar
Reijo Jaakkola's user avatar
Reijo Jaakkola's user avatar
Reijo Jaakkola
  • Member for 3 years, 4 months
  • Last seen this week
Profile Activity
Stats
1,244
reputation
10k
reached
11
answers
6
questions
Communities
View all
About

Ph.D. student in logic at Tampere University.

Badges
View all badges
1
gold badge
4
silver badges
14
bronze badges
Top tags
View all tags
16
Score
2
Posts
12
Posts %
16
Score
2
Posts
12
Posts %
10
Score
6
Posts
35
Posts %
9
Score
2
Posts
12
Posts %
9
Score
2
Posts
12
Posts %
8
Score
3
Posts
18
Posts %
Top posts
View all questions and answers
question
13
Computational complexity of the elementary theory of finite fields
Jun 18
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
8
Complexity of computing minimum unsatisfiable core
Sep 24
answer
7
Are MSO formulae expressible as existential SO formulae over arbitrary structures?
Jul 5, 2023
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
question
5
Decidable fragment of second-order logic
Nov 30
Top network posts
View all network posts
5
How to prove $G$ is connected?