Mr Matthew McIlree
- PhD Student (Tutor) (School of Computing Science)
The University of Glasgow uses cookies for analytics. Find out more about our Privacy policy.
Necessary cookies enable core functionality. The website cannot function properly without these cookies, and can only be disabled by changing your browser preferences.
Analytical cookies help us improve our website. We use Google Analytics. All data is anonymised.
Clarity helps us to understand our users’ behaviour by visually representing their clicks, taps and scrolling. All data is anonymised.
Demirović, E., Mccreesh, C. , McIlree, M. J., Nordström, J., Oertel, A. and Sidorov, K. (2024) Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms. In: 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), Girona, Catalonia, 2-6 Sept 2024, (Accepted for Publication)
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)
Demirović, E., Mccreesh, C. , McIlree, M. J., Nordström, J., Oertel, A. and Sidorov, K. (2024) Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms. In: 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), Girona, Catalonia, 2-6 Sept 2024, (Accepted for Publication)
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)