Jakob Nordström

Jakob Nordström

Professor

Medlem af:

    ORCID: 0000-0002-2700-4285

    Flest downloads

    1. 69 downloads
      Udgivet

      Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling

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

    2. 33 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. 25 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. 10 downloads
      Udgivet

      Certified CNF Translations for Pseudo-Boolean Solving

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

    ID: 209376262