Jakob Nordström

Jakob Nordström

Professor

Member of:

    ORCID: 0000-0002-2700-4285

    Most downloads

    1. 70 downloads
      Published

      Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    2. 35 downloads
      Published

      Exponential resolution lower bounds for weak pigeonhole principle and perfect matching formulas over sparse graphs

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    3. 27 downloads
      Published

      Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    4. 12 downloads
      Published

      Certified CNF Translations for Pseudo-Boolean Solving

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    5. 10 downloads
      Published

      Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps

      Research output: Contribution to journal › Journal article › Research › peer-review

    ID: 209376262