End-to-End Verification for Subgraph Solving
Paper i proceeding, 2024
Författare
Stephan Gocht
Lunds universitet
Köpenhamns universitet
Ciaran McCreesh
University of Glasgow
Magnus Myreen
Göteborgs universitet
Chalmers, Data- och informationsteknik, Formella metoder
Jakob Nordström
Lunds universitet
Köpenhamns universitet
Andy Oertel
Köpenhamns universitet
Lunds universitet
Yong Kiam Tan
Agency for Science, Technology and Research (A*STAR)
Proceedings of the AAAI Conference on Artificial Intelligence
21595399 (ISSN) 23743468 (eISSN)
Vol. 38 8 8038-8047Vancouver, Canada,
Ämneskategorier
Datavetenskap (datalogi)
Datorsystem
DOI
10.1609/aaai.v38i8.28642