| 2009 | ||
|---|---|---|
| 38 | Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal: Snake Lex: An Alternative to Double Lex. CP 2009: 391-399 | |
| 37 | Sophie Huczynska, Paul McKay, Ian Miguel, Peter Nightingale: Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics. CP 2009: 50-64 | |
| 36 | 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) | |
| 35 | Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Filtering Algorithms for the Multiset Ordering Constraint CoRR abs/0903.0460: (2009) | |
| 34 | Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh: Multiset Ordering Constraints CoRR abs/0905.3769: (2009) | |
| 2008 | ||
| 33 | Ian P. Gent, Ian Miguel, Peter Nightingale: Generalised arc consistency for the AllDifferent constraint: An empirical survey. Artif. Intell. 172(18): 1973-2000 (2008) | |
| 32 | Alan M. Frisch, Ian Miguel: Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling. Constraints 13(3): 227-228 (2008) | |
| 31 | 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) | |
| 2007 | ||
| 30 | Ian Miguel, Wheeler Ruml: Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings Springer 2007 | |
| 29 | Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale: Data Structures for Generalised Arc Consistency for Extensional Constraints. AAAI 2007: 191-197 | |
| 28 | 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 | |
| 27 | Ian P. Gent, Ian Miguel, Andrea Rendl: Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion. SARA 2007: 184-199 | |
| 26 | 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) | |
| 2006 | ||
| 25 | Ian P. Gent, Christopher Jefferson, Ian Miguel: Watched Literals for Constraint Propagation in Minion. CP 2006: 182-197 | |
| 24 | John Charnley, Simon Colton, Ian Miguel: Automatic Generation of Implied Constraints. ECAI 2006: 73-77 | |
| 23 | Ian P. Gent, Christopher Jefferson, Ian Miguel: Minion: A Fast Scalable Constraint Solver. ECAI 2006: 98-102 | |
| 22 | Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Propagation algorithms for lexicographic ordering constraints. Artif. Intell. 170(10): 803-834 (2006) | |
| 21 | Christopher Jefferson, Angela Miguel, Ian Miguel, Armagan Tarim: Modelling and solving English Peg Solitaire. Computers & OR 33(10): 2935-2959 (2006) | |
| 2005 | ||
| 20 | Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith: Conditional Symmetry Breaking. CP 2005: 256-270 | |
| 19 | Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth: The Temporal Knapsack Problem and Its Solution. CPAIOR 2005: 34-48 | |
| 18 | Armagan Tarim, Ian Miguel: A Hybrid Benders' Decomposition Method for Solving Stochastic Constraint Programs with Linear Recourse. CSCLP 2005: 133-148 | |
| 17 | Alan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel: The Rules of Constraint Modelling. IJCAI 2005: 109-116 | |
| 16 | Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh: Transforming and Refining Abstract Constraint Specifications. SARA 2005: 76-91 | |
| 15 | 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) | |
| 2004 | ||
| 14 | Armagan Tarim, Ian Miguel: Echelon Stock Formulation of Arborescent Distribution Systems: An Application to the Wagner-Whitin Problem. CPAIOR 2004: 302-318 | |
| 13 | Alan M. Frisch, Christopher Jefferson, Ian Miguel: Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. ECAI 2004: 171-175 | |
| 12 | Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Hybrid Modelling for Robust Solving. Annals OR 130(1-4): 19-39 (2004) | |
| 2003 | ||
| 11 | Alan M. Frisch, Christopher Jefferson, Ian Miguel: Constraints for Breaking More Row and Column Symmetries. CP 2003: 318-332 | |
| 10 | Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh: Multiset Ordering Constraints. IJCAI 2003: 221-226 | |
| 9 | Ian Miguel, Qiang Shen: Fuzzy rrDFCSP and planning. Artif. Intell. 148(1-2): 11-52 (2003) | |
| 2002 | ||
| 8 | 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 | |
| 7 | Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Global Constraints for Lexicographic Orderings. CP 2002: 93-108 | |
| 6 | 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 | |
| 2001 | ||
| 5 | Simon Colton, Ian Miguel: Constraint Generation via Automated Theory Formation. CP 2001: 575-579 | |
| 4 | Ian Miguel, Qiang Shen: Solution Techniques for Constraint Satisfaction Problems: Foundations. Artif. Intell. Rev. 15(4): 243-267 (2001) | |
| 3 | Ian Miguel, Qiang Shen: Solution Techniques for Constraint Satisfaction Problems: Advanced Approaches. Artif. Intell. Rev. 15(4): 269-293 (2001) | |
| 2000 | ||
| 2 | Ian Miguel, Peter Jarvis, Qiang Shen: Flexible Graphplan. ECAI 2000: 506-510 | |
| 1 | Ian Miguel, Qiang Shen: Dynamic Flexible Constraint Satisfaction. Appl. Intell. 13(3): 231-245 (2000) | |