End-to-End Verification for Subgraph Solving
Paper in proceeding, 2024
Author
Stephan Gocht
Lund University
University of Copenhagen
Ciaran McCreesh
University of Glasgow
Magnus Myreen
University of Gothenburg
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Jakob Nordström
Lund University
University of Copenhagen
Andy Oertel
University of Copenhagen
Lund University
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,
Subject Categories
Computer Science
Computer Systems
DOI
10.1609/aaai.v38i8.28642