| Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination MC Cooper, PG Jeavons, AZ Salamon Artificial Intelligence 174 (9-10), 570-584, 2010 | 94 | 2010 |
| The Tractability of CSP Classes Defined by Forbidden Patterns DA Cohen, MC Cooper, P Creed, D Marx, AZ Salamon Journal of Artificial Intelligence Research 45 (http://dx.doi.org/10.1613 …, 2012 | 39 | 2012 |
| Perfect constraints are tractable AZ Salamon, PG Jeavons CP 2008: 14th International Conference on Principles and Practice of …, 2008 | 35 | 2008 |
| Automatic discovery and exploitation of promising subproblems for tabulation Ö Akgün, IP Gent, C Jefferson, I Miguel, P Nightingale, AZ Salamon International Conference on Principles and Practice of Constraint …, 2018 | 27 | 2018 |
| Hybrid tractable CSPs which generalize tree structure MC Cooper, PG Jeavons, AZ Salamon ECAI 2008: 18th European Conference on Artificial Intelligence, 530-534, 2008 | 21 | 2008 |
| Automatic detection of at-most-one and exactly-one relations for improved SAT encodings of pseudo-boolean constraints C Ansótegui, M Bofill, J Coll, N Dang, JL Esteban, I Miguel, P Nightingale, ... International Conference on Principles and Practice of Constraint …, 2019 | 19 | 2019 |
| Instance generation via generator instances Ö Akgün, N Dang, I Miguel, AZ Salamon, C Stone International Conference on Principles and Practice of Constraint …, 2019 | 18 | 2019 |
| Classification of annotation semirings over containment of conjunctive queries EV Kostylev, JL Reutter, AZ Salamon ACM Transactions on Database Systems (TODS) 39 (1), 1-39, 2014 | 16 | 2014 |
| Discriminating instance generation from abstract specifications: A case study with CP and MIP Ö Akgün, N Dang, I Miguel, AZ Salamon, P Spracklen, C Stone International Conference on Integration of Constraint Programming …, 2020 | 14 | 2020 |
| A framework for constraint based local search using Essence O Akgun, SWA Attieh, IP Gent, CA Jefferson, IJ Miguel, PW Nightingale, ... Proceedings of the Twenty-Seventh International Joint Conference on …, 2018 | 14 | 2018 |
| Techniques to achieve moderate alcohol levels in South African wine A Salamon Institute of Cape Wine Masters, 2006 | 14 | 2006 |
| 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 | 11 | 2021 |
| Task graph performance bounds through comparison methods A Salamon | 8 | 2001 |
| Classification of annotation semirings over query containment EV Kostylev, JL Reutter, AZ Salamon Proceedings of the 31st ACM SIGMOD-SIGACT-SIGAI symposium on Principles of …, 2012 | 6 | 2012 |
| Towards reformulating Essence specifications for robustness Ö Akgün, AM Frisch, IP Gent, C Jefferson, I Miguel, P Nightingale, ... arXiv preprint arXiv:2111.00821, 2021 | 3 | 2021 |
| Cross-Paradigm Modelling: A Study of Puzznic J Espasa, IP Gent, I Miguel, P Nightingale, AZ Salamon, M Villaret 2024 IEEE 36th International Conference on Tools with Artificial …, 2024 | 2 | 2024 |
| A graph transformation-based engine for the automated exploration of constraint models C Stone, AZ Salamon, I Miguel International Conference on Graph Transformation, 223-238, 2024 | 2 | 2024 |
| Cross-paradigm modelling: A case study of Puzznic,” J Espasa, IP Gent, I Miguel, P Nightingale, AZ Salamon, M Villaret ModRef, 2024 | 2 | 2024 |
| Towards a Model of Puzznic J Espasa, IP Gent, I Miguel, P Nightingale, AZ Salamon, M Villaret arXiv preprint arXiv:2310.01503, 2023 | 2 | 2023 |
| Exploring instance generation for automated planning Ö Akgün, N Dang, J Espasa, I Miguel, AZ Salamon, C Stone arXiv preprint arXiv:2009.10156, 2020 | 2 | 2020 |
Ian MiguelUniversity of St AndrewsVerified email at st-andrews.ac.uk
