McIlree, M. J., Mccreesh, C. and Nordström, J. (2024) Proof Logging for the Circuit Constraint. In: 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2024), Uppsala, Sweden, 28-31 May 2024, (Accepted for Publication)
![[img]](https://eprints.gla.ac.uk/style/images/fileicons/text.png) |
Text
322175.pdf - Accepted Version Restricted to Repository staff only 598kB |
| Item Type: | Conference Proceedings |
|---|---|
| Additional Information: | 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]. Jakob Nordström was supported by the Swedish Research Council grant 2016-00782 and the Independent Research Fund Denmark grant 9040-00389B. |
| Keywords: | proof logging, circuit, constraint propagation. |
| Status: | Accepted for Publication |
| Refereed: | Yes |
| Glasgow Author(s) Enlighten ID: | Mccreesh, Dr Ciaran and McIlree, Mr Matthew |
| Authors: | McIlree, M. J., Mccreesh, C., and Nordström, J. |
| 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