Theoretical Computer Science
Jan Johannsen's user avatar
Jan Johannsen's user avatar
Jan Johannsen's user avatar
Jan Johannsen
  • Member for 11 years, 6 months
  • Last seen this week
  • Munich, Germany
Profile Activity
Stats
4,531
reputation
58k
reached
42
answers
6
questions
Communities
View all
About

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.

Badges
View all badges
2
gold badges
32
silver badges
50
bronze badges
Top tags
View all tags
234
Score
27
Posts
56
Posts %
127
Score
12
Posts
25
Posts %
73
Score
10
Posts
21
Posts %
57
Score
10
Posts
21
Posts %
56
Score
14
Posts
29
Posts %
40
Score
4
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
21
Minimum True Monotone 3SAT
Nov 23, 2011
answer
19
Has there been any research on $k$-SAT above the satisfiability threshold?
Apr 9, 2014
question
18
Uses of XORification
Nov 16, 2011
answer
17
Entscheidungsproblem vs. Unvollständigkeitssatz (soft question)
Mar 1, 2017
answer
17
Theoretical explanations for practical success of SAT solvers?
Mar 31, 2017
question
16
Natural complete problems in higher levels of the $\mathsf{W}$-hierarchy
Sep 10, 2014
answer
16
$\mathsf{FP}^{\mathsf{NP}[\log n]}$ versus $\mathsf{FP}^{\mathsf{NP}||}$
Oct 14, 2011
answer
15
What is an equivalent definition of mP/poly in terms of a Turing machine?
Jun 18, 2015
answer
15
Golden ratio or Pi in the running time
Jan 8, 2013
answer
15
What are the compelling reasons for believing $L\neq P$?
Oct 9, 2013
Top network posts
View all network posts
43
Which (non-Earth) planet appears in the most Star Trek episodes?
14
Proof Complexity of a Proof or Disproof of P = NP
14
Who was the candy man Riff Raff was expecting?
10
Spinal Tap: Units confusion in building Stonehenge stage prop
9
Does rock + rap/hip-hop genre have a name?

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.