Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Theoretical Computer Science
Meta User
Network Profile
3,874
reputation
1
26
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.

38
answers
5
questions
~42k
people reached
  • Munich, Germany
  • Member for 7 years, 5 months
  • 479 profile views
  • Last seen 2 hours ago

Communities (7)

Top Network Posts

Top Tags (43)

Score 229
Posts 26
Posts % 60
Score 126
Posts 12
Score 71
Posts 10
Score 55
Posts 12
Score 53
Posts 9
Score 40
Posts 4
View all tags →

Top Posts (43) 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 Entscheidungsproblem vs. Unvollständigkeitssatz (soft question) Mar 1 '17
18 Uses of XORification Nov 16 '11
16 $\mathsf{FP}^{\mathsf{NP}[\log n]}$ versus $\mathsf{FP}^{\mathsf{NP}||}$ Oct 14 '11
16 Theoretical explanations for practical success of SAT solvers? Mar 31 '17
15 What is an equivalent definition of mP/poly in terms of a Turing machine? Jun 18 '15
15 What are the compelling reasons for believing $L\neq P$? Oct 9 '13
15 Golden ratio or Pi in the running time Jan 8 '13
14 Statements that imply $\mathbf{P}\neq \mathbf{NP}$ Oct 10 '14
View all questions and answers →

Badges (74)

Gold

1

Rarest

Silver

26

Rarest

Bronze

47

Rarest

View all badges →