Matthew J. McIlree

20212022202320241 3 3 1

Public access

3 articles

0 articles

available

not available

Based on funding mandates

Alice M LynchSt Andrews UniversityVerified email at st-andrews.ac.uk
Ruth HoffmannSchool of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Christopher JeffersonUniversity of St AndrewsVerified email at st-andrews.ac.uk
Ian GentProfessor of Computer Science, St Andrews UniversityVerified email at st-andrews.ac.uk
Joan Espasa ArxerUniversity of St AndrewsVerified email at st-andrews.ac.uk
András SalamonUniversity of St AndrewsVerified email at st-andrews.ac.uk

Matthew J. McIlree

Verified email at research.gla.ac.uk


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Using small muses to explain how to solve pen and paper puzzles J Espasa, IP Gent, R Hoffmann, C Jefferson, AM Lynch, A Salamon, ... arXiv preprint arXiv:2104.15040, 2021	5	2021
Proof Logging for Smart Extensional Constraints MJ McIlree, C McCreesh 29th International Conference on Principles and Practice of Constraint …, 2023	1	2023
Towards generic explanations for pen and paper puzzles with MUSes JE Arxer, IP Gent, R Hoffmann, C Jefferson, MJ McIlree, AM Lynch SICSA eXplainable Artifical Intelligence Workshop, 56-63, 2021	1	2021
Towards generic explanations for pen and paper puzzles with MUSes J Espasa Arxer, IP Gent, R Hoffmann, C Jefferson, MJ McIlree, AM Lynch Proceedings of the SICSA eXplainable Artifical Intelligence Workshop 2021, 2021	1	2021
Proof Logging for the Circuit Constraint MJ McIlree, C Mccreesh, J Nordström		2024
Towards Generic Explanations for Pen and Paper Puzzles with MUSes J Espasa, IP Gent, R Hoffmann, C Jefferson, M McIlree, AM Lynch		2021
Towards Generic Explanations for Pen and Paper Puzzles with MUSes MJ McIlree, AM Lynch		2021

The system can't perform the operation now. Try again later.

Articles 1–7

Citations per year