Ian Miguel

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 41

Top Venues

CoRR

Artif. Intell.

IJCAI

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Erdem Kus, Özgür Akgün, Nguyen Dang, Ian Miguel
Frugal Algorithm Selection. CoRR (2024)
Erdem Kus, Özgür Akgün, Nguyen Dang, Ian Miguel
Frugal Algorithm Selection (Short Paper). CP (2024)
Christopher Stone, András Z. Salamon, Ian Miguel
A Graph Transformation-Based Engine for the Automated Exploration of Constraint Models. ICGT (2024)
Ian Miguel, András Z. Salamon, Christopher Stone
Towards Exploratory Reformulation of Constraint Models. CoRR (2023)
Carlo Cena, Özgür Akgün, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, Felix Ulrich-Oltean
Learning When to Use Automatic Tabulation in Constraint Model Reformulation. IJCAI (2023)
Joan Espasa, Ian P. Gent, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
Towards a Model of Puzznic. CoRR (2023)
Emma Hart, Ian Miguel, Christopher Stone, Quentin Renau
Towards optimisers that 'Keep Learning'. GECCO Companion (2023)
Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract). IJCAI (2023)
Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel
Automated streamliner portfolios for constraint satisfaction problems. Artif. Intell. 319 (2023)
Joan Espasa, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
Challenges in Modelling and Solving Plotting with PDDL. CoRR (2023)
Nguyen Dang, Özgür Akgün, Joan Espasa, Ian Miguel, Peter Nightingale
A Framework for Generating Informative Benchmark Instances. CP (2022)
Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Conjure: Automatic Generation of Constraint Models from Problem Specifications. Artif. Intell. 310 (2022)
Nguyen Dang, Özgür Akgün, Joan Espasa, Ian Miguel, Peter Nightingale
A Framework for Generating Informative Benchmark Instances. CoRR (2022)
Özgür Akgün, Ian P. Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean
Automatic Tabulation in Constraint Models. CoRR (2022)
Joan Espasa, Ian Miguel, Mateu Villaret
Plotting: A Planning Problem with Complex Transitions. CP (2022)
Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon
Towards Reformulating Essence Specifications for Robustness. CoRR (2021)
Joan Espasa, Jordi Coll, Ian Miguel, Mateu Villaret
Exploring Lifted Planning Encodings in Essence Prime. CCIA (2021)
Jordi Coll, Joan Espasa, Ian Miguel, Mateu Villaret
A Preliminary Case Study of Planning With Complex Transitions: Plotting. CoRR (2021)
Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel
Towards Portfolios of Streamlined Constraint Models: A Case Study with the Balanced Academic Curriculum Problem. CoRR (2020)
Özgür Akgün, Nguyen Dang, Joan Espasa, Ian Miguel, András Z. Salamon, Christopher Stone
Exploring Instance Generation for Automated Planning. CoRR (2020)
Özgür Akgün, Nguyen Dang, Ian Miguel, András Z. Salamon, Patrick Spracklen, Christopher Stone
Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP. CPAIOR (2020)
Gökberk Koçak, Özgür Akgün, Nguyen Dang, Ian Miguel
Efficient Incremental Modelling and Solving. CoRR (2020)
Gökberk Koçak, Özgür Akgün, Tias Guns, Ian Miguel
Exploiting Incomparability in Solution Dominance: Improving General Purpose Constraint-Based Mining. ECAI (2020)
Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel
Automatic Streamlining for Constrained Optimisation. CP (2019)
Blesson Varghese, Ozgur Akgun, Ian Miguel, Long Thai, Adam Barker
Cloud Benchmarking for Maximising Performance of Scientific Applications. IEEE Trans. Cloud Comput. 7 (1) (2019)
Carlos Ansótegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, András Z. Salamon, Josep Suy, Mateu Villaret
Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. CP (2019)
Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel, Peter Nightingale
Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence. IJCAI (2019)
Özgür Akgün, Nguyen Dang, Ian Miguel, András Z. Salamon, Christopher Stone
Instance Generation via Generator Instances. CP (2019)
Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
A Commentary on "Breaking Row and Column Symmetries in Matrix Models". CoRR (2019)
Gökberk Koçak, Özgür Akgün, Tias Guns, Ian Miguel
Towards Improving Solution Dominance with Incomparability Conditions: A case-study using Generator Itemset Mining. CoRR (2019)
Özgür Akgün, Ian Miguel
Modelling Langford's Problem: A Viewpoint for Search. CoRR (2018)
Ian P. Gent, Ciaran McCreesh, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Patrick Prosser, Chris Unsworth
A Review of Literature on Parallel Constraint Solving. CoRR (2018)
Gokberk Kocak, Ozgur Akgun, Ian Miguel, Peter Nightingale
Closed Frequent Itemset Mining with Arbitrary Side Constraints. ICDM Workshops (2018)
Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Metamorphic Testing of Constraint Solvers. CP (2018)
Özgür Akgün, Saad Attieh, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon, Patrick Spracklen, James Wetter
A Framework for Constraint Based Local Search using Essence. IJCAI (2018)
Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon
Automatic Discovery and Exploitation of Promising Subproblems for Tabulation. CP (2018)
Patrick Spracklen, Özgür Akgün, Ian Miguel
Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice. CP (2018)
Ian P. Gent, Ian Miguel, Peter Nightingale, Ciaran McCreesh, Patrick Prosser, Neil C. A. Moore, Chris Unsworth
A review of literature on parallel constraint solving. Theory Pract. Log. Program. 18 (5-6) (2018)
Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Patrick Spracklen
Automatically improving constraint models in Savile Row. Artif. Intell. 251 (2017)
Blesson Varghese, Ozgur Akgun, Ian Miguel, Long Thai, Adam Barker
Cloud Benchmarking For Maximising Performance of Scientific Applications. CoRR (2016)
Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. CP (2016)
James Wetter, Özgür Akgün, Ian Miguel
Automatically Generating Streamlined Constraint Models with Essence and Conjure. CP (2015)
Peter Nightingale, Patrick Spracklen, Ian Miguel
Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row. CP (2015)
James Wetter, Ozgur Akgun, Adam Barker, Martin Dominik, Ian Miguel, Blesson Varghese
Cloud-based E-Infrastructure for Scheduling Astronomical Observations. e-Science (2015)
Peter Nightingale, Ian Philip Gent, Christopher Jefferson, Ian Miguel
Short and Long Supports for Constraint Propagation. CoRR (2014)
Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent
Qualitative modelling via constraint programming. Constraints An Int. J. 19 (2) (2014)
Ozgur Akgun, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE. ECAI (2014)
Long Thai, Adam Barker, Blesson Varghese, Ozgur Akgun, Ian Miguel
Optimal Deployment of Geographically Distributed Workflow Engines on the Cloud. CloudCom (2014)
Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel
Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. CP (2014)
Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Glenna F. Nightingale, Peter Nightingale
Discriminating Instance Generation for Automated Constraint Model Selection. CP (2014)
Ian P. Gent, Christopher Jefferson, Steve Linton, Ian Miguel, Peter Nightingale
Generating custom propagators for arbitrary constraints. Artif. Intell. 211 (2014)
Blesson Varghese, Ozgur Akgun, Ian Miguel, Long Thai, Adam Barker
Cloud Benchmarking for Performance. CoRR (2014)
Blesson Varghese, Ozgur Akgun, Ian Miguel, Long Thai, Adam Barker
Cloud Benchmarking for Performance. CloudCom (2014)
Long Thai, Adam Barker, Blesson Varghese, Ozgur Akgun, Ian Miguel
Optimal Deployment of Geographically Distributed Workflow Engines on the Cloud. CoRR (2014)
Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel
Short and Long Supports for Constraint Propagation. J. Artif. Intell. Res. 46 (2013)
Ozgur Akgun, Alan M. Frisch, Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale
Automated Symmetry Breaking and Model Selection in Conjure. CP (2013)
Ian P. Gent, Ian Miguel, Neil C. A. Moore
An empirical study of learning and forgetting constraints. AI Commun. 25 (2) (2012)
Dharini Balasubramaniam, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale
An automated approach to generating efficient constraint solvers. ICSE (2012)
Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent
Qualitative Modelling via Constraint Programming: Past, Present and Future CoRR (2012)
Lars Kotthoff, Ian P. Gent, Ian Miguel
An evaluation of machine learning in algorithm selection for search problems. AI Commun. 25 (3) (2012)
Lars Kotthoff, Ian P. Gent, Ian Miguel
A Preliminary Evaluation of Machine Learning in Algorithm Selection for Search Problems. SOCS (2011)
Ozgur Akgun, Alan M. Frisch, Brahim Hnich, Christopher Jefferson, Ian Miguel
Conjure Revisited: Towards Automated Constraint Modelling CoRR (2011)
Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel
Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints. IJCAI (2011)
Dharini Balasubramaniam, Lakshitha de Silva, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale
Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers. WICSA (2011)
Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel
Modelling Constraint Solver Architecture Design as a Constraint Problem CoRR (2011)
Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich
Extensible Automated Constraint Modelling. AAAI (2011)
Lars Kotthoff, Ian Miguel, Peter Nightingale
Ensemble Classification for Constraint Solver Configuration. CP (2010)
Ian P. Gent, Ian Miguel, Neil C. A. Moore
Lazy Explanations for Constraint Propagators. PADL (2010)
Lars Kotthoff, Ian P. Gent, Ian Miguel
Using machine learning to make constraint solver implementation decisions CoRR (2010)
Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. CP (2010)
Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie
Learning When to Use Lazy Learning in Constraint Solving. ECAI (2010)
Ian P. Gent, Lars Kotthoff, Ian Miguel, Peter Nightingale
Machine learning for constraint solver design -- A case study for the alldifferent constraint CoRR (2010)
Andrea Rendl, Ian Miguel, Ian P. Gent, Christopher Jefferson
Automatically Enhancing Constraint Model Instances during Tailoring. SARA (2009)
Andrea Rendl, Ian Miguel, Ian P. Gent, Peter Gregory
Common Subexpressions in Constraint Models of Planning Problems. SARA (2009)
Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal
Confluence of Reduction Rules for Lexicographic Ordering Constraints. SARA (2009)
Ian P. Gent, Paul McKay, Ian Miguel, Peter Nightingale, Sophie Huczynska
Modelling Equidistant Frequency Permutation Arrays in Constraints. SARA (2009)
Sophie Huczynska, Paul McKay, Ian Miguel, Peter Nightingale
Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics. CP (2009)
Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal
Snake Lex: An Alternative to Double Lex. CP (2009)
Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh
Multiset Ordering Constraints CoRR (2009)
Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal
In Search of a Better Method to Break Row and Column Symmetries. SARA (2009)
Andrew Grayland, Christopher Jefferson, Ian Miguel, Colva M. Roney-Dougal
Minimal ordering constraints for some families of variable symmetries. Ann. Math. Artif. Intell. 57 (1) (2009)
Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
Filtering algorithms for the multiset ordering constraint. Artif. Intell. 173 (2) (2009)
Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
Filtering Algorithms for the Multiset Ordering Constraint CoRR (2009)
Alan M. Frisch, Warwick Harvey, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel
Essence : A constraint language for specifying combinatorial problems. Constraints An Int. J. 13 (3) (2008)
Ian P. Gent, Ian Miguel, Peter Nightingale
Generalised arc consistency for the AllDifferent constraint: An empirical survey. Artif. Intell. 172 (18) (2008)
Alan M. Frisch, Ian Miguel
Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling. Constraints An Int. J. 13 (3) (2008)
Ian P. Gent, Christopher Jefferson, Tom Kelsey, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara M. Smith, Armagan Tarim
Search in the patience game 'Black Hole'. AI Commun. 20 (3) (2007)
Alan M. Frisch, Matthew Grum, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel
The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems. IJCAI (2007)
Ian P. Gent, Ian Miguel, Andrea Rendl
Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion. SARA (2007)
Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Data Structures for Generalised Arc Consistency for Extensional Constraints. AAAI (2007)
Ian P. Gent, Christopher Jefferson, Ian Miguel
Minion: A Fast Scalable Constraint Solver. ECAI (2006)
Christopher Jefferson, Angela Miguel, Ian Miguel, Armagan Tarim
Modelling and solving English Peg Solitaire. Comput. Oper. Res. 33 (10) (2006)
John William Charnley, Simon Colton, Ian Miguel
Automatic Generation of Implied Constraints. ECAI (2006)
Ian P. Gent, Christopher Jefferson, Ian Miguel
Watched Literals for Constraint Propagation in Minion. CP (2006)
Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
Propagation algorithms for lexicographic ordering constraints. Artif. Intell. 170 (10) (2006)
Armagan Tarim, Ian Miguel
A Hybrid Benders' Decomposition Method for Solving Stochastic Constraint Programs with Linear Recourse. CSCLP (2005)
Ian Miguel, Qiang Shen
Exhibiting the behavior of time-delayed systems via an extension to qualitative simulation. IEEE Trans. Syst. Man Cybern. Part A 35 (2) (2005)
Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh
Transforming and Refining Abstract Constraint Specifications. SARA (2005)
Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith
Conditional Symmetry Breaking. CP (2005)
Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth
The Temporal Knapsack Problem and Its Solution. CPAIOR (2005)

Ian Miguel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ian Miguel