Hard, flexible and dynamic constraint satisfaction. - Ian Miguel; Qiang Shen 001 (Knowl. Eng. Rev., 1999)

Flexible Graphplan. - Ian Miguel; Peter Jarvis; Qiang Shen 001 (ECAI, 2000)

Dynamic Flexible Constraint Satisfaction. - Ian Miguel; Qiang Shen 001 (Appl. Intell., 2000)

Constraint Generation via Automated Theory Formation. - Simon Colton; Ian Miguel (CP, 2001)

Solution Techniques for Constraint Satisfaction Problems: Foundations. - Ian Miguel; Qiang Shen 001 (Artif. Intell. Rev., 2001)

Solution Techniques for Constraint Satisfaction Problems: Advanced Approaches. - Ian Miguel; Qiang Shen 001 (Artif. Intell. Rev., 2001)

Dynamic flexible constraint satisfaction and its application to AI planning. - Ian Miguel (2001)

CGRASS: A System for Transforming Constraint Satisfaction Problems. - Alan M. Frisch; Ian Miguel; Toby Walsh (International Workshop on Constraint Solving and Constraint Logic Programming, 2002)

Breaking Row and Column Symmetries in Matrix Models. - Pierre Flener; Alan M. Frisch; Brahim Hnich; Zeynep Kiziltan; Ian Miguel; Justin Pearson; Toby Walsh (CP, 2002)

Global Constraints for Lexicographic Orderings. - Alan M. Frisch; Brahim Hnich; Zeynep Kiziltan; Ian Miguel; Toby Walsh (CP, 2002)

Constraints for Breaking More Row and Column Symmetries. - Alan M. Frisch; Christopher Jefferson; Ian Miguel (CP, 2003)

Multiset Ordering Constraints. - Alan M. Frisch; Ian Miguel; Zeynep Kiziltan; Brahim Hnich; Toby Walsh (IJCAI, 2003)

Fuzzy rrDFCSP and planning. - Ian Miguel; Qiang Shen 001 (Artif. Intell., 2003)

Echelon Stock Formulation of Arborescent Distribution Systems: An Application to the Wagner-Whitin Problem. - Armagan Tarim; Ian Miguel (CPAIOR, 2004)

Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. - Alan M. Frisch; Christopher Jefferson; Ian Miguel (ECAI, 2004)

Hybrid Modelling for Robust Solving. - Brahim Hnich; Zeynep Kiziltan; Ian Miguel; Toby Walsh (Ann. Oper. Res., 2004)

Dynamic flexible constraint satisfaction and its application to AI planning. - Ian Miguel (Springer, 2004)

Conditional Symmetry Breaking. - Ian P. Gent; Tom W. Kelsey; Steve Linton; Iain McDonald; Ian Miguel; Barbara M. Smith (CP, 2005)

The Temporal Knapsack Problem and Its Solution. - Mark Bartlett; Alan M. Frisch; Youssef Hamadi; Ian Miguel; Armagan Tarim; Chris Unsworth (CPAIOR, 2005)

A Hybrid Benders' Decomposition Method for Solving Stochastic Constraint Programs with Linear Recourse. - Armagan Tarim; Ian Miguel (CSCLP, 2005)

The Rules of Constraint Modelling. - Alan M. Frisch; Christopher Jefferson; Bernadette Martínez Hernández; Ian Miguel (IJCAI, 2005)

Transforming and Refining Abstract Constraint Specifications. - Alan M. Frisch; Brahim Hnich; Ian Miguel; Barbara M. Smith; Toby Walsh (SARA, 2005)

Exhibiting the behavior of time-delayed systems via an extension to qualitative simulation. - Ian Miguel; Qiang Shen 001 (IEEE Trans. Syst. Man Cybern. Part A, 2005)

Watched Literals for Constraint Propagation in Minion. - Ian P. Gent; Christopher Jefferson; Ian Miguel (CP, 2006)

Automatic Generation of Implied Constraints. - John William Charnley; Simon Colton; Ian Miguel (ECAI, 2006)

Minion: A Fast Scalable Constraint Solver. - Ian P. Gent; Christopher Jefferson; Ian Miguel (ECAI, 2006)

Propagation algorithms for lexicographic ordering constraints. - Alan M. Frisch; Brahim Hnich; Zeynep Kiziltan; Ian Miguel; Toby Walsh (Artif. Intell., 2006)

Modelling and solving English Peg Solitaire. - Christopher Jefferson; Angela Miguel; Ian Miguel; Armagan Tarim (Comput. Oper. Res., 2006)

Uncertainty and Change. - Kenneth N. Brown; Ian Miguel (Handbook of Constraint Programming, 2006)

Data Structures for Generalised Arc Consistency for Extensional Constraints. - Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (AAAI, 2007)

The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems. - Alan M. Frisch; Matthew Grum; Christopher Jefferson; Bernadette Martínez Hernández; Ian Miguel (IJCAI, 2007)

Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion. - Ian P. Gent; Ian Miguel; Andrea Rendl (SARA, 2007)

Search in the patience game 'Black Hole'. - Ian P. Gent; Christopher Jefferson; Tom W. Kelsey; Inês Lynce; Ian Miguel; Peter Nightingale; Barbara M. Smith; Armagan Tarim (AI Commun., 2007)

Generalised arc consistency for the AllDifferent constraint: An empirical survey. - Ian P. Gent; Ian Miguel; Peter Nightingale (Artif. Intell., 2008)

Essence : A constraint language for specifying combinatorial problems. - Alan M. Frisch; Warwick Harvey; Christopher Jefferson; Bernadette Martínez Hernández; Ian Miguel (Constraints An Int. J., 2008)

Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling. - Alan M. Frisch; Ian Miguel (Constraints An Int. J., 2008)

Snake Lex: An Alternative to Double Lex. - Andrew Grayland; Ian Miguel; Colva M. Roney-Dougal (CP, 2009)

Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics. - Sophie Huczynska; Paul McKay; Ian Miguel; Peter Nightingale (CP, 2009)

Modelling Equidistant Frequency Permutation Arrays in Constraints. - Ian P. Gent; Paul McKay; Ian Miguel; Peter Nightingale; Sophie Huczynska (SARA, 2009)

Confluence of Reduction Rules for Lexicographic Ordering Constraints. - Andrew Grayland; Ian Miguel; Colva M. Roney-Dougal (SARA, 2009)

In Search of a Better Method to Break Row and Column Symmetries. - Andrew Grayland; Ian Miguel; Colva M. Roney-Dougal (SARA, 2009)

Common Subexpressions in Constraint Models of Planning Problems. - Andrea Rendl; Ian Miguel; Ian P. Gent; Peter Gregory (SARA, 2009)

Automatically Enhancing Constraint Model Instances during Tailoring. - Andrea Rendl; Ian Miguel; Ian P. Gent; Christopher Jefferson (SARA, 2009)

Filtering algorithms for the multiset ordering constraint. - Alan M. Frisch; Brahim Hnich; Zeynep Kiziltan; Ian Miguel; Toby Walsh (Artif. Intell., 2009)

Minimal ordering constraints for some families of variable symmetries. - Andrew Grayland; Christopher Jefferson; Ian Miguel; Colva M. Roney-Dougal (Ann. Math. Artif. Intell., 2009)

Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. - Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (CP, 2010)

Ensemble Classification for Constraint Solver Configuration. - Lars Kotthoff; Ian Miguel; Peter Nightingale (CP, 2010)

Learning When to Use Lazy Learning in Constraint Solving. - Ian P. Gent; Christopher Jefferson; Lars Kotthoff; Ian Miguel; Neil C. A. Moore; Peter Nightingale; Karen E. Petrie (ECAI, 2010)

Lazy Explanations for Constraint Propagators. - Ian P. Gent; Ian Miguel; Neil C. A. Moore (PADL, 2010)

Using machine learning to make constraint solver implementation decisions - Lars Kotthoff; Ian P. Gent; Ian Miguel (CoRR, 2010)

Machine learning for constraint solver design – A case study for the alldifferent constraint - Ian P. Gent; Lars Kotthoff; Ian Miguel; Peter Nightingale (CoRR, 2010)

Extensible Automated Constraint Modelling. - Ozgur Akgun; Ian Miguel; Christopher Jefferson; Alan M. Frisch; Brahim Hnich (AAAI, 2011)

Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints. - Peter Nightingale; Ian P. Gent; Christopher Jefferson; Ian Miguel (IJCAI, 2011)

A Preliminary Evaluation of Machine Learning in Algorithm Selection for Search Problems. - Lars Kotthoff; Ian P. Gent; Ian Miguel (SOCS, 2011)

Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers. - Dharini Balasubramaniam; Lakshitha de Silva; Christopher Jefferson; Lars Kotthoff; Ian Miguel; Peter Nightingale (WICSA, 2011)

Conjure Revisited: Towards Automated Constraint Modelling - Ozgur Akgun; Alan M. Frisch; Brahim Hnich; Christopher Jefferson; Ian Miguel (CoRR, 2011)

Modelling Constraint Solver Architecture Design as a Constraint Problem - Ian P. Gent; Christopher Jefferson; Lars Kotthoff; Ian Miguel (CoRR, 2011)

An automated approach to generating efficient constraint solvers. - Dharini Balasubramaniam; Christopher Jefferson; Lars Kotthoff; Ian Miguel; Peter Nightingale (ICSE, 2012)

An empirical study of learning and forgetting constraints. - Ian P. Gent; Ian Miguel; Neil C. A. Moore (AI Commun., 2012)

An evaluation of machine learning in algorithm selection for search problems. - Lars Kotthoff; Ian P. Gent; Ian Miguel (AI Commun., 2012)

Qualitative Modelling via Constraint Programming: Past, Present and Future - Thomas W. Kelsey; Lars Kotthoff; Christopher Jefferson; Stephen A. Linton; Ian Miguel; Peter Nightingale; Ian P. Gent (CoRR, 2012)

Automated Symmetry Breaking and Model Selection in Conjure. - Ozgur Akgun; Alan M. Frisch; Ian P. Gent; Bilal Syed Hussain; Christopher Jefferson; Lars Kotthoff; Ian Miguel; Peter Nightingale (CP, 2013)

Short and Long Supports for Constraint Propagation. - Peter Nightingale; Ian P. Gent; Christopher Jefferson; Ian Miguel (J. Artif. Intell. Res., 2013)

Optimal Deployment of Geographically Distributed Workflow Engines on the Cloud. - Long Thai; Adam Barker; Blesson Varghese; Ozgur Akgun; Ian Miguel (CloudCom, 2014)

Cloud Benchmarking for Performance. - Blesson Varghese; Ozgur Akgun; Ian Miguel; Long Thai; Adam Barker (CloudCom, 2014)

Discriminating Instance Generation for Automated Constraint Model Selection. - Ian P. Gent; Bilal Syed Hussain; Christopher Jefferson; Lars Kotthoff; Ian Miguel; Glenna F. Nightingale; Peter Nightingale (CP, 2014)

Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. - Peter Nightingale; Özgür Akgün; Ian P. Gent; Christopher Jefferson; Ian Miguel (CP, 2014)

Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE. - Ozgur Akgun; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (ECAI, 2014)

Generating custom propagators for arbitrary constraints. - Ian P. Gent; Christopher Jefferson; Steve Linton; Ian Miguel; Peter Nightingale (Artif. Intell., 2014)

Qualitative modelling via constraint programming. - Thomas W. Kelsey; Lars Kotthoff; Christopher Jefferson; Stephen A. Linton; Ian Miguel; Peter Nightingale; Ian P. Gent (Constraints An Int. J., 2014)

Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row. - Peter Nightingale; Patrick Spracklen; Ian Miguel (CP, 2015)

Automatically Generating Streamlined Constraint Models with Essence and Conjure. - James Wetter; Özgür Akgün; Ian Miguel (CP, 2015)

Cloud-based E-Infrastructure for Scheduling Astronomical Observations. - James Wetter; Ozgur Akgun; Adam Barker; Martin Dominik; Ian Miguel; Blesson Varghese (e-Science, 2015)

Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. - Özgür Akgün; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (CP, 2016)

Automatically improving constraint models in Savile Row. - Peter Nightingale; Özgür Akgün; Ian P. Gent; Christopher Jefferson; Ian Miguel; Patrick Spracklen (Artif. Intell., 2017)

Metamorphic Testing of Constraint Solvers. - Özgür Akgün; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (CP, 2018)

Automatic Discovery and Exploitation of Promising Subproblems for Tabulation. - Özgür Akgün; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale; András Z. Salamon (CP, 2018)

Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice. - Patrick Spracklen; Özgür Akgün; Ian Miguel (CP, 2018)

Closed Frequent Itemset Mining with Arbitrary Side Constraints. - Gokberk Kocak; Ozgur Akgun; Ian Miguel; Peter Nightingale (ICDM Workshops, 2018)

A Framework for Constraint Based Local Search using Essence. - Özgür Akgün; Saad Attieh; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale; András Z. Salamon; Patrick Spracklen; James Wetter (IJCAI, 2018)

Modelling Langford's Problem: A Viewpoint for Search. - Özgür Akgün; Ian Miguel (CoRR, 2018)

A review of literature on parallel constraint solving. - Ian P. Gent; Ian Miguel; Peter Nightingale; Ciaran McCreesh; Patrick Prosser; Neil C. A. Moore; Chris Unsworth (Theory Pract. Log. Program., 2018)

Instance Generation via Generator Instances. - Özgür Akgün; Nguyen Dang 001; Ian Miguel; András Z. Salamon; Christopher Stone 001 (CP, 2019)

Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. - Carlos Ansótegui; Miquel Bofill; Jordi Coll; Nguyen Dang 001; Juan Luis Esteban; Ian Miguel; Peter Nightingale; András Z. Salamon; Josep Suy; Mateu Villaret (CP, 2019)

Automatic Streamlining for Constrained Optimisation. - Patrick Spracklen; Nguyen Dang 001; Özgür Akgün; Ian Miguel (CP, 2019)

Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence. - Saad Attieh; Nguyen Dang 001; Christopher Jefferson; Ian Miguel; Peter Nightingale (IJCAI, 2019)

Towards Improving Solution Dominance with Incomparability Conditions: A case-study using Generator Itemset Mining. - Gökberk Koçak; Özgür Akgün; Tias Guns; Ian Miguel (CoRR, 2019)

A Commentary on "Breaking Row and Column Symmetries in Matrix Models". - Alan M. Frisch; Brahim Hnich; Zeynep Kiziltan; Ian Miguel; Toby Walsh (CoRR, 2019)

Cloud Benchmarking for Maximising Performance of Scientific Applications. - Blesson Varghese; Ozgur Akgun; Ian Miguel; Long Thai; Adam Barker (IEEE Trans. Cloud Comput., 2019)

Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP. - Özgür Akgün; Nguyen Dang 001; Ian Miguel; András Z. Salamon; Patrick Spracklen; Christopher Stone 001 (CPAIOR, 2020)

Exploiting Incomparability in Solution Dominance: Improving General Purpose Constraint-Based Mining. - Gökberk Koçak; Özgür Akgün; Tias Guns; Ian Miguel (ECAI, 2020)

Towards Portfolios of Streamlined Constraint Models: A Case Study with the Balanced Academic Curriculum Problem. - Patrick Spracklen; Nguyen Dang 001; Özgür Akgün; Ian Miguel (CoRR, 2020)

Exploring Instance Generation for Automated Planning. - Özgür Akgün; Nguyen Dang 001; Joan Espasa; Ian Miguel; András Z. Salamon; Christopher Stone 001 (CoRR, 2020)

Efficient Incremental Modelling and Solving. - Gökberk Koçak; Özgür Akgün; Nguyen Dang 001; Ian Miguel (CoRR, 2020)

Exploring Lifted Planning Encodings in Essence Prime. - Joan Espasa; Jordi Coll; Ian Miguel; Mateu Villaret (CCIA, 2021)

A Preliminary Case Study of Planning With Complex Transitions: Plotting. - Jordi Coll; Joan Espasa; Ian Miguel; Mateu Villaret (CoRR, 2021)

Towards Reformulating Essence Specifications for Robustness. - Özgür Akgün; Alan M. Frisch; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale; András Z. Salamon (CoRR, 2021)

A Framework for Generating Informative Benchmark Instances. - Nguyen Dang 001; Özgür Akgün; Joan Espasa; Ian Miguel; Peter Nightingale (CP, 2022)

Plotting: A Planning Problem with Complex Transitions. - Joan Espasa; Ian Miguel; Mateu Villaret (CP, 2022)

Conjure: Automatic Generation of Constraint Models from Problem Specifications. - Özgür Akgün; Alan M. Frisch; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (Artif. Intell., 2022)

Automatic Tabulation in Constraint Models. - Özgür Akgün; Ian P. Gent; Christopher Jefferson; Zeynep Kiziltan; Ian Miguel; Peter Nightingale; András Z. Salamon; Felix Ulrich-Oltean (CoRR, 2022)

Towards optimisers that 'Keep Learning'. - Emma Hart; Ian Miguel; Christopher Stone 001; Quentin Renau (GECCO Companion, 2023)

Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract). - Özgür Akgün; Alan M. Frisch; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (IJCAI, 2023)

Learning When to Use Automatic Tabulation in Constraint Model Reformulation. - Carlo Cena; Özgür Akgün; Zeynep Kiziltan; Ian Miguel; Peter Nightingale; Felix Ulrich-Oltean (IJCAI, 2023)

Challenges in Modelling and Solving Plotting with PDDL. - Joan Espasa; Ian Miguel; Peter Nightingale; András Z. Salamon; Mateu Villaret (CoRR, 2023)

Towards a Model of Puzznic. - Joan Espasa; Ian P. Gent; Ian Miguel; Peter Nightingale; András Z. Salamon; Mateu Villaret (CoRR, 2023)

Towards Exploratory Reformulation of Constraint Models. - Ian Miguel; András Z. Salamon; Christopher Stone 001 (CoRR, 2023)

Automated streamliner portfolios for constraint satisfaction problems. - Patrick Spracklen; Nguyen Dang 001; Özgür Akgün; Ian Miguel (Artif. Intell., 2023)

Frugal Algorithm Selection (Short Paper). - Erdem Kus; Özgür Akgün; Nguyen Dang 001; Ian Miguel (CP, 2024)

A Graph Transformation-Based Engine for the Automated Exploration of Constraint Models. - Christopher Stone 001; András Z. Salamon; Ian Miguel (ICGT, 2024)

Cross-Paradigm Modelling: A Study of Puzznic. - Joan Espasa; Ian P. Gent; Ian Miguel; Peter Nightingale; András Z. Salamon; Mateu Villaret (ICTAI, 2024)

An Evaluation of Domain-Agnostic Representations to Enable Multi-task Learning in Combinatorial Optimisation. - Christopher Stone 001; Quentin Renau; Ian Miguel; Emma Hart (LION, 2024)

Frugal Algorithm Selection. - Erdem Kus; Özgür Akgün; Nguyen Dang 001; Ian Miguel (CoRR, 2024)

Automatic Feature Learning for Essence: a Case Study on Car Sequencing. - Alessio Pellegrino; Özgür Akgün; Nguyen Dang 001; Zeynep Kiziltan; Ian Miguel (CoRR, 2024)

Automating Reformulation of Essence Specifications via Graph Rewriting. - Ian Miguel; András Z. Salamon; Christopher Stone 001 (CoRR, 2024)

Towards High-Level Modelling in Automated Planning. - Carla Davesa Sureda; Joan Espasa Arxer; Ian Miguel; Mateu Villaret Auselle (CoRR, 2024)

Plotting: a case study in lifted planning with constraints. - Joan Espasa; Ian Miguel; Peter Nightingale; András Z. Salamon; Mateu Villaret (Constraints An Int. J., 2024)

Transformer-Based Feature Learning for Algorithm Selection in Combinatorial Optimisation. - Alessio Pellegrino; Özgür Akgün; Nguyen Dang 001; Zeynep Kiziltan; Ian Miguel (CP, 2025)

Athanor: Local search over abstract constraint specifications. - Saad Attieh; Nguyen Dang 001; Christopher Jefferson; Ian Miguel; Peter Nightingale (Artif. Intell., 2025)

TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models. - Özgür Akgün; Ian P. Gent; Christopher Jefferson; Zeynep Kiziltan; Ian Miguel; Peter Nightingale; András Z. Salamon; Felix Ulrich-Oltean (J. Artif. Intell. Res., 2025)