pith. sign in

Jakob Nordstr\"om

Identifiers

  • name variant Jakob Nordstr\"om 0.60 · backfill

Papers (11)

  1. Supercritical Space-Width Trade-offs for Resolution cs.CC · 2016 · author #2
  2. Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps cs.LO · 2016 · author #2
  3. A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds cs.CC · 2015 · author #2
  4. Tight Size-Degree Bounds for Sums-of-Squares Proofs cs.CC · 2015 · author #2
  5. From Small Space to Small Width in Resolution cs.CC · 2014 · author #4
  6. Narrow Proofs May Be Maximally Long cs.CC · 2014 · author #3
  7. Separations of Matroid Freeness Properties cs.CC · 2010 · author #3
  8. Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions cs.CC · 2010 · author #2
  9. On the Relative Strength of Pebbling and Resolution cs.CC · 2010 · author #1
  10. On Minimal Unsatisfiability and Time-Space Trade-offs for k-DNF Resolution cs.DM · 2009 · author #1
  11. 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