Matthew J. McIlree
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2023–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Certifying Bounds Propagation for Integer Multiplication Constraints. | Matthew J. McIlree, Ciaran McCreesh |
| 2024 | CP | Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms. | Emir Demirovic, Ciaran McCreesh, Matthew J. McIlree, Jakob Nordstrm, Andy Oertel, Konstantin Sidorov |
| 2024 | CPAIOR | Proof Logging for the Circuit Constraint. | Matthew J. McIlree, Ciaran McCreesh, Jakob Nordstrm |
| 2024 | IJCAI | Proof Logging for Smart Extensional Constraints (Extended Abstract). | Matthew J. McIlree, Ciaran McCreesh |
| 2023 | CP | Proof Logging for Smart Extensional Constraints. | Matthew J. McIlree, Ciaran McCreesh |