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 | 6 | 2021 |
Proof Logging for Smart Extensional Constraints MJ McIlree, C McCreesh 29th International Conference on Principles and Practice of Constraint …, 2023 | 2 | 2023 |
Proof Logging for the Circuit Constraint MJ McIlree, C Mccreesh, J Nordström | 1 | 2024 |
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 |
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 |