Network profile

Jan Johannsen

Reputation

4,459

4.5k
3.9k
3.3k

2017
2018
2019
2020

Next tag badge

complexity-classes

127/100 score

12/20 answers

Badges

1

28

48

Newest

Nice Answer

Next badge

105/500

Impact

105 posts edited

89 helpful flags

1,308 votes cast

6 Questions

Votes Activity Newest Views

6

18

votes

2

answers

469

views

Uses of XORification

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

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

3

15

votes

2

answers

398

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.5k

2

13

votes

1

answer

487

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

568

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

274

views

Stronger reductions in parameterized complexity

cc.complexity-theory reference-request parameterized-complexity

Dec 2 '17 at 21:18 domotorp 12.9k

4

votes

0

answers

102

views

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

reference-request proof-complexity resolution

Nov 18 at 8:47 Jan Johannsen 4,459

Theoretical Computer Science Stack Exchange works best with JavaScript enabled