Matthew J. McIlree

According to our database, Matthew J. McIlree authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Proof Logging for the Circuit Constraint.

Matthew J. McIlree, Ciaran McCreesh, Jakob Nordström

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024

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

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

2023

Proof Logging for Smart Extensional Constraints.

Matthew J. McIlree, Ciaran McCreesh

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2021

Explaining Pen and Paper Puzzles with MUSes?

Joan Espasa, Ian P. Gent, Ruth Hoffmann, Christopher Jefferson, Matthew J. McIlree, Alice M. Lynch

Proceedings of the SICSA eXplainable Artifical Intelligence Workshop 2021, 2021