| 2009 |
| 35 | EE | 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) |
| 34 | EE | Alan M. Frisch,
Brahim Hnich,
Zeynep Kiziltan,
Ian Miguel,
Toby Walsh:
Filtering Algorithms for the Multiset Ordering Constraint
CoRR abs/0903.0460: (2009) |
| 2008 |
| 33 | EE | 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 | EE | Alan M. Frisch,
Ian Miguel:
Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling.
Constraints 13(3): 227-228 (2008) |
| 31 | EE | 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 | EE | 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 | EE | Ian P. Gent,
Ian Miguel,
Andrea Rendl:
Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion.
SARA 2007: 184-199 |
| 26 | EE | 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 | EE | 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 | EE | 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 | EE | Christopher Jefferson,
Angela Miguel,
Ian Miguel,
Armagan Tarim:
Modelling and solving English Peg Solitaire.
Computers & OR 33(10): 2935-2959 (2006) |
| 2005 |
| 20 | EE | Ian P. Gent,
Tom Kelsey,
Steve Linton,
Iain McDonald,
Ian Miguel,
Barbara M. Smith:
Conditional Symmetry Breaking.
CP 2005: 256-270 |
| 19 | EE | 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 | EE | Armagan Tarim,
Ian Miguel:
A Hybrid Benders' Decomposition Method for Solving Stochastic Constraint Programs with Linear Recourse.
CSCLP 2005: 133-148 |
| 17 | EE | Alan M. Frisch,
Christopher Jefferson,
Bernadette Martínez Hernández,
Ian Miguel:
The Rules of Constraint Modelling.
IJCAI 2005: 109-116 |
| 16 | EE | Alan M. Frisch,
Brahim Hnich,
Ian Miguel,
Barbara M. Smith,
Toby Walsh:
Transforming and Refining Abstract Constraint Specifications.
SARA 2005: 76-91 |
| 15 | EE | 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 | EE | 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 | EE | Brahim Hnich,
Zeynep Kiziltan,
Ian Miguel,
Toby Walsh:
Hybrid Modelling for Robust Solving.
Annals OR 130(1-4): 19-39 (2004) |
| 2003 |
| 11 | EE | 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 | EE | Ian Miguel,
Qiang Shen:
Fuzzy rrDFCSP and planning.
Artif. Intell. 148(1-2): 11-52 (2003) |
| 2002 |
| 8 | EE | 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 | EE | Alan M. Frisch,
Brahim Hnich,
Zeynep Kiziltan,
Ian Miguel,
Toby Walsh:
Global Constraints for Lexicographic Orderings.
CP 2002: 93-108 |
| 6 | EE | 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 | EE | 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) |