Mr Matthew McIlree

  • PhD Student (Tutor) (School of Computing Science)

Publications

List by: Type | Date

Jump to: 2024
Number of items: 1.

2024

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)

This list was generated on Mon Jun 24 23:36:25 2024 BST.
Number of items: 1.

Conference Proceedings

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)

This list was generated on Mon Jun 24 23:36:25 2024 BST.