Ian Miguel

2007
29		Ian Miguel, Wheeler Ruml: Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings Springer 2007
28		Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale: Data Structures for Generalised Arc Consistency for Extensional Constraints. AAAI 2007: 191-197
27	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
26	EE	Ian P. Gent, Ian Miguel, Andrea Rendl: Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion. SARA 2007: 184-199
25	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
24	EE	Ian P. Gent, Christopher Jefferson, Ian Miguel: Watched Literals for Constraint Propagation in Minion. CP 2006: 182-197
23		John Charnley, Simon Colton, Ian Miguel: Automatic Generation of Implied Constraints. ECAI 2006: 73-77
22		Ian P. Gent, Christopher Jefferson, Ian Miguel: Minion: A Fast Scalable Constraint Solver. ECAI 2006: 98-102
21	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)
20	EE	Christopher Jefferson, Angela Miguel, Ian Miguel, Armagan Tarim: Modelling and solving English Peg Solitaire. Computers & OR 33(10): 2935-2959 (2006)
2005
19	EE	Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith: Conditional Symmetry Breaking. CP 2005: 256-270
18	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
17	EE	Armagan Tarim, Ian Miguel: A Hybrid Benders' Decomposition Method for Solving Stochastic Constraint Programs with Linear Recourse. CSCLP 2005: 133-148
16	EE	Alan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel: The Rules of Constraint Modelling. IJCAI 2005: 109-116
15	EE	Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh: Transforming and Refining Abstract Constraint Specifications. SARA 2005: 76-91
14	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
13	EE	Armagan Tarim, Ian Miguel: Echelon Stock Formulation of Arborescent Distribution Systems: An Application to the Wagner-Whitin Problem. CPAIOR 2004: 302-318
12		Alan M. Frisch, Christopher Jefferson, Ian Miguel: Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. ECAI 2004: 171-175
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)

Coauthor Index

1	Mark Bartlett	[18]
2	John Charnley	[23]
3	Simon Colton	[5] [23]
4	Pierre Flener	[8]
5	Alan M. Frisch	[6] [7] [8] [10] [11] [12] [15] [16] [18] [21] [27]
6	Ian P. Gent	[19] [22] [24] [25] [26] [28]
7	Matthew Grum	[27]
8	Youssef Hamadi	[18]
9	Bernadette Martínez Hernández	[16] [27]
10	Brahim Hnich	[7] [8] [10] [15] [21]
11	Peter Jarvis	[2]
12	Christopher Jefferson	[11] [12] [16] [20] [22] [24] [25] [27] [28]
13	Tom Kelsey	[19] [25]
14	Zeynep Kiziltan	[7] [8] [10] [21]
15	Steve Linton	[19]
16	Inês Lynce	[25]
17	Iain McDonald	[19]
18	Angela Miguel	[20]
19	Peter Nightingale	[25] [28]
20	Justin Pearson	[8]
21	Andrea Rendl	[26]
22	Wheeler Ruml	[29]
23	Qiang Shen	[1] [2] [3] [4] [9] [14]
24	Barbara M. Smith	[15] [19] [25]
25	Armagan Tarim	[13] [17] [18] [20] [25]
26	Chris Unsworth	[18]
27	Toby Walsh	[6] [7] [8] [10] [15] [21]

Colors in the list of coauthors