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) |