Jakob Nordström

Jakob Nordström

Professor

Medlem af:

    ORCID: 0000-0002-2700-4285

    Flest downloads

    1. 75 downloads
      Udgivet

      Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    2. 41 downloads
      Udgivet

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

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    3. 31 downloads
      Udgivet

      Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    4. 14 downloads
      Udgivet

      Certified CNF Translations for Pseudo-Boolean Solving

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    5. 12 downloads
      Udgivet

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    ID: 209376262