Ian Miguel

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

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

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

Dharini Balasubramaniam, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale: An automated approach to generating efficient constraint solvers. ICSE 2012: 661-671

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

Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich: Extensible Automated Constraint Modelling. AAAI 2011

Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel: Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints. IJCAI 2011: 623-628

Lars Kotthoff, Ian P. Gent, Ian Miguel: A Preliminary Evaluation of Machine Learning in Algorithm Selection for Search Problems. SOCS 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: 228-231

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

Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel: Modelling Constraint Solver Architecture Design as a Constraint Problem. CoRR abs/1110.6290 (2011)

Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale: Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. CP 2010: 206-220

Lars Kotthoff, Ian Miguel, Peter Nightingale: Ensemble Classification for Constraint Solver Configuration. CP 2010: 321-329

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: 873-878

Ian P. Gent, Ian Miguel, Neil C. A. Moore: Lazy Explanations for Constraint Propagators. PADL 2010: 217-233

Lars Kotthoff, Ian P. Gent, Ian Miguel: Using machine learning to make constraint solver implementation decisions. CoRR abs/1005.3502 (2010)

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

Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Filtering algorithms for the multiset ordering constraint. Artif. Intell. 173(2): 299-328 (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): 75-102 (2009)

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

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

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

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

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

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

Andrea Rendl, Ian Miguel, Ian P. Gent, Christopher Jefferson: Automatically Enhancing Constraint Model Instances during Tailoring. SARA 2009

Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Filtering Algorithms for the Multiset Ordering Constraint. CoRR abs/0903.0460 (2009)

Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh: Multiset Ordering Constraints. CoRR abs/0905.3769 (2009)

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

Alan M. Frisch, Ian Miguel: Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling. Constraints 13(3): 227-228 (2008)

Alan M. Frisch, Warwick Harvey, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel: Essence : A constraint language for specifying combinatorial problems. Constraints 13(3): 268-306 (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): 211-226 (2007)

Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale: Data Structures for Generalised Arc Consistency for Extensional Constraints. AAAI 2007: 191-197

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: 80-87

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

Ian Miguel, Wheeler Ruml (Eds.): Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings. Lecture Notes in Computer Science 4612, Springer 2007, isbn 978-3-540-73579-3

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

Christopher Jefferson, Angela Miguel, Ian Miguel, Armagan Tarim: Modelling and solving English Peg Solitaire. Computers & OR 33(10): 2935-2959 (2006)

Ian P. Gent, Christopher Jefferson, Ian Miguel: Watched Literals for Constraint Propagation in Minion. CP 2006: 182-197

John Charnley, Simon Colton, Ian Miguel: Automatic Generation of Implied Constraints. ECAI 2006: 73-77

Ian P. Gent, Christopher Jefferson, Ian Miguel: Minion: A Fast Scalable Constraint Solver. ECAI 2006: 98-102

Ian Miguel, Qiang Shen: Exhibiting the behavior of time-delayed systems via an extension to qualitative simulation. IEEE Transactions on Systems, Man, and Cybernetics, Part A 35(2): 298-305 (2005)

Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith: Conditional Symmetry Breaking. CP 2005: 256-270

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

Armagan Tarim, Ian Miguel: A Hybrid Benders' Decomposition Method for Solving Stochastic Constraint Programs with Linear Recourse. CSCLP 2005: 133-148

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

Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh: Transforming and Refining Abstract Constraint Specifications. SARA 2005: 76-91

Ian Miguel: Dynamic flexible constraint satisfaction and its application to AI planning. Edinburgh, Univ. 2004, isbn 1-85233-764-8, pp. 1-318

Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Hybrid Modelling for Robust Solving. Annals OR 130(1-4): 19-39 (2004)

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

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

Ian Miguel, Qiang Shen: Fuzzy rrDFCSP and planning. Artif. Intell. 148(1-2): 11-52 (2003)

Alan M. Frisch, Christopher Jefferson, Ian Miguel: Constraints for Breaking More Row and Column Symmetries. CP 2003: 318-332

Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh: Multiset Ordering Constraints. IJCAI 2003: 221-226

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

Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Global Constraints for Lexicographic Orderings. CP 2002: 93-108

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

Ian Miguel, Qiang Shen: Solution Techniques for Constraint Satisfaction Problems: Foundations. Artif. Intell. Rev. 15(4): 243-267 (2001)

Ian Miguel, Qiang Shen: Solution Techniques for Constraint Satisfaction Problems: Advanced Approaches. Artif. Intell. Rev. 15(4): 269-293 (2001)

Simon Colton, Ian Miguel: Constraint Generation via Automated Theory Formation. CP 2001: 575-579

Ian Miguel, Qiang Shen: Dynamic Flexible Constraint Satisfaction. Appl. Intell. 13(3): 231-245 (2000)

Ian Miguel, Peter Jarvis, Qiang Shen: Flexible Graphplan. ECAI 2000: 506-510