Jakob Nordström

Jakob Nordström

Professor

Medlem af:

    ORCID: 0000-0002-2700-4285

    Udgivelsesår:
    Alle
    1 - 3 ud af 3Pr. side: 10
    Sortering: Udgivelsesdato
    1. 2009
    2. Udgivet

      A simplified way of proving trade-off results for resolution

      Nordström, Jakob, 31 aug. 2009, I: Information Processing Letters. 109, 18, s. 1030-1035 6 s.

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

    3. Udgivet

      A Space Hierarchy for $k$-DNF Resolution

      Ben-Sasson, E. & Nordström, Jakob, 1 apr. 2009.

      Publikation: Working paper › Forskning

    4. Udgivet

      Narrow proofs may be spacious: Separating space and width in resolution

      Nordström, Jakob, 2009, I: SIAM Journal on Computing. 39, 1, s. 59-121 63 s.

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

    ID: 209376262