Ian Miguel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
55
Venues
12
Active years
2000–2026
Best venue rank
A*
Where they publish
Papers
55 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CP | On the Effect of Training Data Selection in Automated Algorithm Selection. | Erdem Kus, zgr Akgn, Nguyen Dang, Lars Kotthoff, Ian Miguel |
| 2025 | CP | Transformer-Based Feature Learning for Algorithm Selection in Combinatorial Optimisation. | Alessio Pellegrino, zgr Akgn, Nguyen Dang, Zeynep Kiziltan, Ian Miguel |
| 2024 | CP | Frugal Algorithm Selection (Short Paper). | Erdem Kus, zgr Akgn, Nguyen Dang, Ian Miguel |
| 2024 | ICTAI | Cross-Paradigm Modelling: A Study of Puzznic. | Joan Espasa, Ian P. Gent, Ian Miguel, Peter Nightingale, Andrs Z. Salamon, Mateu Villaret |
| 2023 | GECCO | Towards optimisers that 'Keep Learning'. | Emma Hart, Ian Miguel, Christopher Stone, Quentin Renau |
| 2023 | IJCAI | Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract). | zgr Akgn, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2023 | IJCAI | Learning When to Use Automatic Tabulation in Constraint Model Reformulation. | Carlo Cena, zgr Akgn, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, Felix Ulrich-Oltean |
| 2022 | CP | A Framework for Generating Informative Benchmark Instances. | Nguyen Dang, zgr Akgn, Joan Espasa, Ian Miguel, Peter Nightingale |
| 2022 | CP | Plotting: A Planning Problem with Complex Transitions. | Joan Espasa, Ian Miguel, Mateu Villaret |
| 2020 | CPAIOR | Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP. | zgr Akgn, Nguyen Dang, Ian Miguel, Andrs Z. Salamon, Patrick Spracklen, Christopher Stone |
| 2020 | ECAI | Exploiting Incomparability in Solution Dominance: Improving General Purpose Constraint-Based Mining. | Gkberk Koak, zgr Akgn, Tias Guns, Ian Miguel |
| 2019 | CP | Instance Generation via Generator Instances. | zgr Akgn, Nguyen Dang, Ian Miguel, Andrs Z. Salamon, Christopher Stone |
| 2019 | CP | Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. | Carlos Anstegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, Andrs Z. Salamon, Josep Suy, Mateu Villaret |
| 2019 | CP | Automatic Streamlining for Constrained Optimisation. | Patrick Spracklen, Nguyen Dang, zgr Akgn, Ian Miguel |
| 2019 | IJCAI | Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence. | Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2018 | CP | Metamorphic Testing of Constraint Solvers. | zgr Akgn, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2018 | CP | Automatic Discovery and Exploitation of Promising Subproblems for Tabulation. | zgr Akgn, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, Andrs Z. Salamon |
| 2018 | CP | Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice. | Patrick Spracklen, zgr Akgn, Ian Miguel |
| 2018 | ICDM | Closed Frequent Itemset Mining with Arbitrary Side Constraints. | Gokberk Kocak, Ozgur Akgun, Ian Miguel, Peter Nightingale |
| 2018 | IJCAI | A Framework for Constraint Based Local Search using Essence. | zgr Akgn, Saad Attieh, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, Andrs Z. Salamon, Patrick Spracklen, James Wetter |
| 2016 | CP | Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. | zgr Akgn, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2015 | CP | Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row. | Peter Nightingale, Patrick Spracklen, Ian Miguel |
| 2015 | CP | Automatically Generating Streamlined Constraint Models with Essence and Conjure. | James Wetter, zgr Akgn, Ian Miguel |
| 2014 | CloudCom | Optimal Deployment of Geographically Distributed Workflow Engines on the Cloud. | Long Thai, Adam Barker, Blesson Varghese, Ozgur Akgun, Ian Miguel |
| 2014 | CloudCom | Cloud Benchmarking for Performance. | Blesson Varghese, Ozgur Akgun, Ian Miguel, Long Thai, Adam Barker |
| 2014 | CP | 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 |
| 2014 | CP | Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. | Peter Nightingale, zgr Akgn, Ian P. Gent, Christopher Jefferson, Ian Miguel |
| 2014 | ECAI | Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE. | Ozgur Akgun, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2013 | CP | 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 |
| 2012 | ICSE | An automated approach to generating efficient constraint solvers. | Dharini Balasubramaniam, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale |
| 2011 | AAAI | Extensible Automated Constraint Modelling. | Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich |
| 2011 | IJCAI | Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints. | Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel |
| 2011 | SoCS | A Preliminary Evaluation of Machine Learning in Algorithm Selection for Search Problems. | Lars Kotthoff, Ian P. Gent, Ian Miguel |
| 2010 | CP | Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. | Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2010 | CP | Ensemble Classification for Constraint Solver Configuration. | Lars Kotthoff, Ian Miguel, Peter Nightingale |
| 2010 | ECAI | 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 |
| 2010 | PADL | Lazy Explanations for Constraint Propagators. | Ian P. Gent, Ian Miguel, Neil C. A. Moore |
| 2009 | CP | Snake Lex: An Alternative to Double Lex. | Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal |
| 2009 | CP | Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics. | Sophie Huczynska, Paul McKay, Ian Miguel, Peter Nightingale |
| 2007 | AAAI | Data Structures for Generalised Arc Consistency for Extensional Constraints. | Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2007 | IJCAI | The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems. | Alan M. Frisch, Matthew Grum, Christopher Jefferson, Bernadette Martnez Hernndez, Ian Miguel |
| 2006 | CP | Watched Literals for Constraint Propagation in Minion. | Ian P. Gent, Christopher Jefferson, Ian Miguel |
| 2006 | ECAI | Automatic Generation of Implied Constraints. | John William Charnley, Simon Colton, Ian Miguel |
| 2006 | ECAI | Minion: A Fast Scalable Constraint Solver. | Ian P. Gent, Christopher Jefferson, Ian Miguel |
| 2005 | CP | Conditional Symmetry Breaking. | Ian P. Gent, Tom W. Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith |
| 2005 | CPAIOR | The Temporal Knapsack Problem and Its Solution. | Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth |
| 2005 | IJCAI | The Rules of Constraint Modelling. | Alan M. Frisch, Christopher Jefferson, Bernadette Martnez Hernndez, Ian Miguel |
| 2004 | CPAIOR | Echelon Stock Formulation of Arborescent Distribution Systems: An Application to the Wagner-Whitin Problem. | Armagan Tarim, Ian Miguel |
| 2004 | ECAI | Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. | Alan M. Frisch, Christopher Jefferson, Ian Miguel |
| 2003 | CP | Constraints for Breaking More Row and Column Symmetries. | Alan M. Frisch, Christopher Jefferson, Ian Miguel |
| 2003 | IJCAI | Multiset Ordering Constraints. | Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh |
| 2002 | CP | Breaking Row and Column Symmetries in Matrix Models. | Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh |
| 2002 | CP | Global Constraints for Lexicographic Orderings. | Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh |
| 2001 | CP | Constraint Generation via Automated Theory Formation. | Simon Colton, Ian Miguel |
| 2000 | ECAI | Flexible Graphplan. | Ian Miguel, Peter Jarvis, Qiang Shen |