Matthew J. McIlree

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Sketch Recognition

Frequency Response

Top Venues

Publications

Matthew J. McIlree, Ciaran McCreesh, Jakob Nordström
Proof Logging for the Circuit Constraint. CPAIOR (2) (2024)
Emir Demirovic, Ciaran McCreesh, Matthew J. McIlree, Jakob Nordström, Andy Oertel, Konstantin Sidorov
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms. CP (2024)
Matthew J. McIlree, Ciaran McCreesh
Proof Logging for Smart Extensional Constraints. CP (2023)
Joan Espasa, Ian P. Gent, Ruth Hoffmann, Christopher Jefferson, Matthew J. McIlree, Alice M. Lynch
Explaining Pen and Paper Puzzles with MUSes? SICSA XAI (2021)