Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Jakob Nordström
Map detail
Jakob Nordström13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJakob NordströmAJakob NordströmResearcherOn the Relative Strength of Pebbling and ResolutionWOn the Relative Strengt...preprint / 2010On Minimal Unsatisfiability and Time-Space Trade-offs for k-DNF ResolutionWOn Minimal Unsatisfiabi...preprint / 2009Understanding Space in Proof Complexity: Separations and Trade-offs via SubstitutionsWUnderstanding Space in ...preprint / 2010Tight Size-Degree Bounds for Sums-of-Squares ProofsWTight Size-Degree Bound...preprint / 2015A Generalized Method for Proving Polynomial Calculus Degree Lower BoundsWA Generalized Method fo...preprint / 2015Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement StepsWNear-Optimal Lower Boun...preprint / 2016Supercritical Space-Width Trade-offs for ResolutionWSupercritical Space-Wid...preprint / 2016Nullstellensatz Size-Degree Trade-offs from Reversible PebblingWNullstellensatz Size-De...preprint / 2020Lifting with Simple Gadgets and Applications to Circuit and Proof ComplexityWLifting with Simple Gad...preprint / 2020Separations of Matroid Freeness PropertiesWSeparations of Matroid ...preprint / 2010Narrow Proofs May Be Maximally LongWNarrow Proofs May Be Ma...preprint / 2014From Small Space to Small Width in ResolutionWFrom Small Space to Sma...preprint / 2014
Person12 links

Jakob Nordström

Researcher