Explaining Pen and Paper Puzzles with MUSes? - Joan Espasa; Ian P. Gent; Ruth Hoffmann; Christopher Jefferson; Matthew J. McIlree; Alice M. Lynch (SICSA XAI, 2021)

Proof Logging for Smart Extensional Constraints. - Matthew J. McIlree; Ciaran McCreesh (CP, 2023)

Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms. - Emir Demirovic; Ciaran McCreesh; Matthew J. McIlree; Jakob Nordström; Andy Oertel; Konstantin Sidorov (CP, 2024)

Proof Logging for the Circuit Constraint. - Matthew J. McIlree; Ciaran McCreesh; Jakob Nordström (CPAIOR (2), 2024)

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

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