Episode #125 of the Stack Overflow podcast is here. We talk Tilde Club and mechanical keyboards. Listen now
Theoretical Computer Science
Meta user
Network profile
3,999
reputation
1
28
47

Jan Johannsen

TCS researcher at LMU Munich. I am interested in computational complexity and logic, especially where the two intersect. My main field of work is propositional proof complexity.

40
answers
6
questions
~45k
people reached
  • Munich, Germany
  • Member for 8 years, 1 month
  • 522 profile views
  • Last seen 10 hours ago

Communities (7)

Top network posts

Top tags (46)

Score 229
Posts 26
Posts % 57
Score 127
Posts 12
Score 70
Posts 10
Score 57
Posts 10
Score 55
Posts 13
Score 40
Posts 4
View all tags →

Top posts (46) All Questions Answers | Votes Newest

20 Minimum True Monotone 3SAT Nov 23 '11
19 Has there been any research on $k$-SAT above the satisfiability threshold? Apr 9 '14
18 Uses of XORification Nov 16 '11
17 Entscheidungsproblem vs. Unvollständigkeitssatz (soft question) Mar 1 '17
16 $\mathsf{FP}^{\mathsf{NP}[\log n]}$ versus $\mathsf{FP}^{\mathsf{NP}||}$ Oct 14 '11
15 What is an equivalent definition of mP/poly in terms of a Turing machine? Jun 18 '15
15 Golden ratio or Pi in the running time Jan 8 '13
15 What are the compelling reasons for believing $L\neq P$? Oct 9 '13
15 Theoretical explanations for practical success of SAT solvers? Mar 31 '17
14 Syntactic Complexity Class ${\bf X}$ such that ${\bf PP} \subseteq {\bf X} \subseteq {\bf PSPACE}$ May 17 '13
View all questions and answers →

Badges (76)

Gold

1

Rarest

Silver

28

Rarest

Bronze

47

Rarest

View all badges →