Articles with public access mandates - Ian GentLearn more
Available somewhere: 19
Automatically improving constraint models in Savile Row
P Nightingale, Ö Akgün, IP Gent, C Jefferson, I Miguel, P Spracklen
Artificial Intelligence 251, 35-61, 2017
Mandates: UK Engineering and Physical Sciences Research Council
Complexity of n-queens completion
IP Gent, C Jefferson, P Nightingale
Journal of Artificial Intelligence Research 59, 815-848, 2017
Mandates: UK Engineering and Physical Sciences Research Council
Automatically improving constraint models in Savile Row through associative-commutative common subexpression elimination
P Nightingale, Ö Akgün, IP Gent, C Jefferson, I Miguel
Principles and Practice of Constraint Programming: 20th International …, 2014
Mandates: UK Engineering and Physical Sciences Research Council
A review of literature on parallel constraint solving
IP Gent, I Miguel, P Nightingale, C McCreesh, P Prosser, NCA Moore, ...
Theory and Practice of Logic Programming 18 (5-6), 725-758, 2018
Mandates: UK Engineering and Physical Sciences Research Council
Metamorphic testing of constraint solvers
Ö Akgün, IP Gent, C Jefferson, I Miguel, P Nightingale
Principles and Practice of Constraint Programming: 24th International …, 2018
Mandates: UK Engineering and Physical Sciences Research Council, Royal Society UK
Automatic discovery and exploitation of promising subproblems for tabulation
Ö Akgün, IP Gent, C Jefferson, I Miguel, P Nightingale, AZ Salamon
Principles and Practice of Constraint Programming: 24th International …, 2018
Mandates: UK Engineering and Physical Sciences Research Council, Royal Society UK
Breaking conditional symmetry in automated constraint modelling with Conjure
O Akgun, IP Gent, C Jefferson, I Miguel, P Nightingale
ECAI 2014, 3-8, 2014
Mandates: UK Engineering and Physical Sciences Research Council
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
Mandates: UK Engineering and Physical Sciences Research Council, Royal Society UK
Recomputation. org: Experiences of its first year and lessons learned
IP Gent, L Kotthoff
2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing …, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Discriminating instance generation for automated constraint model selection
IP Gent, BS Hussain, C Jefferson, L Kotthoff, I Miguel, GF Nightingale, ...
Principles and Practice of Constraint Programming: 20th International …, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Generating custom propagators for arbitrary constraints
IP Gent, C Jefferson, S Linton, I Miguel, P Nightingale
Artificial Intelligence 211, 1-33, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Qualitative modelling via constraint programming
TW Kelsey, L Kotthoff, CA Jefferson, SA Linton, I Miguel, P Nightingale, ...
Constraints 19, 163-173, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Exploiting short supports for improved encoding of arbitrary constraints into SAT
Ö Akgün, IP Gent, C Jefferson, I Miguel, P Nightingale
Principles and Practice of Constraint Programming: 22nd International …, 2016
Mandates: UK Engineering and Physical Sciences Research Council
Cross-paradigm modelling: A case study of Puzznic,”
J Espasa, IP Gent, I Miguel, P Nightingale, AZ Salamon, M Villaret
ModRef, 2024
Mandates: UK Engineering and Physical Sciences Research Council
Towards Generic Explanations for Pen and Paper Puzzles with MUSes
J Espasa, IP Gent, R Hoffmann, C Jefferson, M McIlree, AM Lynch
Mandates: Royal Society UK
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
Mandates: Royal Society UK
Instance Generation for Constraint Model Selection
BS Hussain, I Miguel, I Gent
19th International Conference on Principles and Practice of Constraint …, 2013
Mandates: UK Engineering and Physical Sciences Research Council
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
Mandates: UK Engineering and Physical Sciences Research Council
Generalized support and formal development of constraint propagators
J Caldwell, IP Gent, P Nightingale
AI Communications 30 (5), 325-346, 2017
Mandates: UK Engineering and Physical Sciences Research Council
Publication and funding information is determined automatically by a computer program