Jakob Nordström

Jakob Nordström

Professor

Medlem af:

    ORCID: 0000-0002-2700-4285

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

      Automating Algebraic Proof Systems is NP-Hard

      de Rezende, S. F., Göös, M., Nordström, Jakob, Pitassi, T., Robere, R. & Sokolov, D., 1 maj 2020, Electronic Colloquium on Computational Complexity, 34 s.

      Publikation: Working paper › Forskning

    3. 2010
    4. Udgivet

      Separations of Matroid Freeness Properties

      Bhattacharyya, A., Grigorescu, E., Nordström, Jakob & Xie, N., 1 aug. 2010.

      Publikation: Working paper › Forskning

    5. Udgivet

      Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions

      Ben-Sasson, E. & Nordström, Jakob, 1 aug. 2010.

      Publikation: Working paper › Forskning

    6. 2009
    7. Udgivet

      A Space Hierarchy for $k$-DNF Resolution

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

      Publikation: Working paper › Forskning

    ID: 209376262