Network profile

Jan Johannsen

Reputation

4,479

4.5k
4k
3.5k

2018
2019
2020
2021

Next tag badge

complexity-classes

127/100 score

12/20 answers

Badges

2

29

48

Newest

Steward

Next badge

106/500

Impact

106 posts edited

89 helpful flags

1,330 votes cast

6 Questions

Votes Activity Newest Views

6

18

votes

2

answers

475

views

Uses of XORification

cc.complexity-theory reference-request boolean-functions proof-complexity

Nov 16 '11 at 23:53 Ryan Williams 25.3k

3

15

votes

2

answers

409

views

Natural complete problems in higher levels of the $\mathsf{W}$-hierarchy

cc.complexity-theory parameterized-complexity

Sep 19 '14 at 8:13 Marzio De Biasi 21.7k

2

13

votes

1

answer

490

views

A 3-CNF formula that requires resolution width $5$

cc.complexity-theory lo.logic sat proof-complexity

Apr 13 '13 at 19:04 Community♦ 1

2

10

votes

4

answers

580

views

An easy case of SAT that is not easy for tree resolution

sat proof-complexity

Jan 23 '15 at 17:15 Community♦ 1

7

votes

0

answers

275

views

Stronger reductions in parameterized complexity

cc.complexity-theory reference-request parameterized-complexity

Dec 2 '17 at 21:18 domotorp 13.2k

4

votes

0

answers

105

views

Eliminating tautological axioms in tree-like $k$-DNF resolution

reference-request proof-complexity resolution

Nov 18 '19 at 8:47 Jan Johannsen 4,479

Theoretical Computer Science Stack Exchange works best with JavaScript enabled