Jakob Nordström

Jakob Nordström

Professor

Member of:

    ORCID: 0000-0002-2700-4285

    Publication year:
    All
    1 - 2 out of 2Page size: 10
    1. 2023
    2. Published

      Certified Dominance and Symmetry Breaking for Combinatorial Optimisation

      Bogaerts, B., Gocht, S., McCreesh, C. & Nordström, Jakob, 2023, In: Journal of Artificial Intelligence Research. 77, p. 1539-1589 51 p.

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

    3. Published

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

      Berkholz, C. & Nordström, Jakob, 2023, In: Journal of the ACM. 70, 5, p. 1-32 32.

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

    ID: 209376262