Jakob Nordström

Jakob Nordström

Professor

Member of:

    ORCID: 0000-0002-2700-4285

    Publication year:
    All
    1 - 1 out of 1Page size: 10
    Sort by: Title
    1. Published

      End-to-End Verification for Subgraph Solving

      Gocht, S., McCreesh, C., Myreen, M. O., Nordström, Jakob, Oertel, A. & Tan, Y. K., 2024, In: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 8, p. 8038-8047 10 p.

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

    ID: 209376262