Jakob Nordström

Jakob Nordström

Professor

Medlem af:

    ORCID: 0000-0002-2700-4285

    Udgivelsesår:
    Alle
    1 - 1 ud af 1Pr. side: 100
    Sortering: 1. forfatter
    1. Udgivet

      End-to-End Verification for Subgraph Solving

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

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

    ID: 209376262