Jakob Nordstr\"om
Identifiers
- name variant Jakob Nordstr\"om 0.60 · backfill
Papers (11)
- Supercritical Space-Width Trade-offs for Resolution cs.CC · 2016 · author #2
- Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps cs.LO · 2016 · author #2
- A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds cs.CC · 2015 · author #2
- Tight Size-Degree Bounds for Sums-of-Squares Proofs cs.CC · 2015 · author #2
- From Small Space to Small Width in Resolution cs.CC · 2014 · author #4
- Narrow Proofs May Be Maximally Long cs.CC · 2014 · author #3
- Separations of Matroid Freeness Properties cs.CC · 2010 · author #3
- Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions cs.CC · 2010 · author #2
- On the Relative Strength of Pebbling and Resolution cs.CC · 2010 · author #1
- On Minimal Unsatisfiability and Time-Space Trade-offs for k-DNF Resolution cs.DM · 2009 · author #1
- Towards an Optimal Separation of Space and Length in Resolution cs.CC · 2008 · author #1
Mentions
- 1505.01358 #2 · backfill · confidence 0.70 Jakob Nordstr\"om
- 1504.01656 #2 · backfill · confidence 0.70 Jakob Nordstr\"om
- 1409.2978 #4 · backfill · confidence 0.70 Jakob Nordstr\"om
- 1409.2731 #3 · backfill · confidence 0.70 Jakob Nordstr\"om
- 1008.4401 #3 · backfill · confidence 0.70 Jakob Nordstr\"om
- 1008.1789 #2 · backfill · confidence 0.70 Jakob Nordstr\"om
- 1003.3047 #1 · backfill · confidence 0.70 Jakob Nordstr\"om
- 0910.3127 #1 · backfill · confidence 0.70 Jakob Nordstr\"om
- 0803.0661 #1 · backfill · confidence 0.70 Jakob Nordstr\"om
Frequent Coauthors
- Massimo Lauria 3 shared papers
- Christoph Berkholz 2 shared papers
- Mladen Mik\v{s}a 2 shared papers
- Albert Atserias 1 shared papers
- Alexander Razborov 1 shared papers
- Arnab Bhattacharyya 1 shared papers
- Elena Grigorescu 1 shared papers
- Eli Ben-Sasson 1 shared papers
- Johan H{\aa}stad 1 shared papers
- Marc Vinyals 1 shared papers
- Ning Xie 1 shared papers
- Yuval Filmus 1 shared papers