McIlree, Matthew J.

2 publications

AAAI 2025 Certifying Bounds Propagation for Integer Multiplication Constraints Matthew J. McIlree, Ciaran McCreesh

IJCAI 2024 Proof Logging for Smart Extensional Constraints (Extended Abstract) Matthew J. McIlree, Ciaran McCreesh