Gocht, S., McCreesh, C. , Myreen, M. O., Nordstrom, J., Oertel, A. and Tan, Y. K. (2023) End-to-End Verification for Subgraph Solving. 38th AAAI Conference on Artificial Intelligence (AAAI-24), Vancouver, Canada, 22-25 February 2024. (Accepted for Publication)
![[img]](https://eprints.gla.ac.uk/style/images/fileicons/text.png) |
Text
315226.pdf - Accepted Version Restricted to Repository staff only 635kB |
| Item Type: | Conference or Workshop Item |
|---|---|
| Additional Information: | Stephan Gocht and Jakob Nordstrom were supported by the ¨ Swedish Research Council grant 2016-00782, and Jakob Nordstrom also received funding from the Independent ¨ Research Fund Denmark grant 9040-00389B. Ciaran McCreesh was supported by a Royal Academy of Engineering research fellowship, and by the Engineering and Physical Sciences Research Council [grant number EP/X030032/1]. Magnus Myreen was supported by Swedish Research Council grant 2021-05165. Andy Oertel was supported by the Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation. Yong Kiam Tan was supported by A*STAR, Singapore. |
| Status: | Accepted for Publication |
| Refereed: | Yes |
| Glasgow Author(s) Enlighten ID: | Mccreesh, Dr Ciaran |
| Authors: | Gocht, S., McCreesh, C., Myreen, M. O., Nordstrom, J., Oertel, A., and Tan, Y. K. |
| College/School: | College of Science and Engineering > School of Computing Science |
| Related URLs: |
University Staff: Request a correction | Enlighten Editors: Update this record
Funder and Project Information
Funder and Project Information