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 more than a month ago
  • Munich, Germany
Profile Activity
Stats
4,531
reputation
0
reached
0
answers
0
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
This user doesn’t have any gold badges yet.
11
silver badges
2
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
43
Which (non-Earth) planet appears in the most Star Trek episodes?
21
Minimum True Monotone 3SAT
19
Has there been any research on $k$-SAT above the satisfiability threshold?
18
Uses of XORification
18
Entscheidungsproblem vs. Unvollständigkeitssatz (soft question)

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.