Ian Miguel

	2011
56		Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich: Extensible Automated Constraint Modelling. AAAI 2011
55		Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel: Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints. IJCAI 2011: 623-628
54		Lars Kotthoff, Ian P. Gent, Ian Miguel: A Preliminary Evaluation of Machine Learning in Algorithm Selection for Search Problems. SOCS 2011
53		Ozgur Akgun, Alan M. Frisch, Brahim Hnich, Christopher Jefferson, Ian Miguel: Conjure Revisited: Towards Automated Constraint Modelling CoRR abs/1109.1774: (2011)
52		Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel: Modelling Constraint Solver Architecture Design as a Constraint Problem CoRR abs/1110.6290: (2011)
	2010
51		Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale: Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. CP 2010: 206-220
50		Lars Kotthoff, Ian Miguel, Peter Nightingale: Ensemble Classification for Constraint Solver Configuration. CP 2010: 321-329
49		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
48		Ian P. Gent, Ian Miguel, Neil C. A. Moore: Lazy Explanations for Constraint Propagators. PADL 2010: 217-233
47		Lars Kotthoff, Ian P. Gent, Ian Miguel: Using machine learning to make constraint solver implementation decisions CoRR abs/1005.3502: (2010)
46		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)
	2009
45		Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal: Snake Lex: An Alternative to Double Lex. CP 2009: 391-399
44		Sophie Huczynska, Paul McKay, Ian Miguel, Peter Nightingale: Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics. CP 2009: 50-64
43		Andrea Rendl, Ian Miguel, Ian P. Gent, Christopher Jefferson: Automatically Enhancing Constraint Model Instances during Tailoring. SARA 2009
42		Andrea Rendl, Ian Miguel, Ian P. Gent, Peter Gregory: Common Subexpressions in Constraint Models of Planning Problems. SARA 2009
41		Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal: Confluence of Reduction Rules for Lexicographic Ordering Constraints. SARA 2009
40		Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal: In Search of a Better Method to Break Row and Column Symmetries. SARA 2009
39		Ian P. Gent, Paul McKay, Ian Miguel, Peter Nightingale, Sophie Huczynska: Modelling Equidistant Frequency Permutation Arrays in Constraints. SARA 2009
38		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)
37		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)
36		Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Filtering Algorithms for the Multiset Ordering Constraint CoRR abs/0903.0460: (2009)
35		Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh: Multiset Ordering Constraints CoRR abs/0905.3769: (2009)
	2008
34		Ian P. Gent, Ian Miguel, Peter Nightingale: Generalised arc consistency for the AllDifferent constraint: An empirical survey. Artif. Intell. 172(18): 1973-2000 (2008)
33		Alan M. Frisch, Ian Miguel: Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling. Constraints 13(3): 227-228 (2008)
32		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
31		Ian Miguel, Wheeler Ruml: Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings Springer 2007
30		Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale: Data Structures for Generalised Arc Consistency for Extensional Constraints. AAAI 2007: 191-197
29		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
28		Ian P. Gent, Ian Miguel, Andrea Rendl: Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion. SARA 2007: 184-199
27		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
26		Ian P. Gent, Christopher Jefferson, Ian Miguel: Watched Literals for Constraint Propagation in Minion. CP 2006: 182-197
25		John Charnley, Simon Colton, Ian Miguel: Automatic Generation of Implied Constraints. ECAI 2006: 73-77
24		Ian P. Gent, Christopher Jefferson, Ian Miguel: Minion: A Fast Scalable Constraint Solver. ECAI 2006: 98-102
23		Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Propagation algorithms for lexicographic ordering constraints. Artif. Intell. 170(10): 803-834 (2006)
22		Christopher Jefferson, Angela Miguel, Ian Miguel, Armagan Tarim: Modelling and solving English Peg Solitaire. Computers & OR 33(10): 2935-2959 (2006)
	2005
21		Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith: Conditional Symmetry Breaking. CP 2005: 256-270
20		Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth: The Temporal Knapsack Problem and Its Solution. CPAIOR 2005: 34-48
19		Armagan Tarim, Ian Miguel: A Hybrid Benders' Decomposition Method for Solving Stochastic Constraint Programs with Linear Recourse. CSCLP 2005: 133-148
18		Alan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel: The Rules of Constraint Modelling. IJCAI 2005: 109-116
17		Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh: Transforming and Refining Abstract Constraint Specifications. SARA 2005: 76-91
16		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
15		Armagan Tarim, Ian Miguel: Echelon Stock Formulation of Arborescent Distribution Systems: An Application to the Wagner-Whitin Problem. CPAIOR 2004: 302-318
14		Alan M. Frisch, Christopher Jefferson, Ian Miguel: Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. ECAI 2004: 171-175
13		Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Hybrid Modelling for Robust Solving. Annals OR 130(1-4): 19-39 (2004)
12		Ian Miguel: Dynamic flexible constraint satisfaction and its application to AI planning. Edinburgh, Univ. 2004: 1-318
	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)

Coauthor Index

1	Ozgur Akgun	[53] [56]
2	Mark Bartlett	[20]
3	John Charnley	[25]
4	Simon Colton	[5] [25]
5	Pierre Flener	[8]
6	Alan M. Frisch	[6] [7] [8] [10] [11] [14] [17] [18] [20] [23] [29] [32] [33] [35] [36] [37] [53] [56]
7	Ian P. Gent	[21] [24] [26] [27] [28] [30] [34] [39] [42] [43] [46] [47] [48] [49] [51] [52] [54] [55]
8	Andrew Grayland	[38] [40] [41] [45]
9	Peter Gregory	[42]
10	Matthew Grum	[29]
11	Youssef Hamadi	[20]
12	Warwick Harvey	[32]
13	Bernadette Martínez Hernández	[18] [29] [32]
14	Brahim Hnich	[7] [8] [10] [13] [17] [23] [35] [36] [37] [53] [56]
15	Sophie Huczynska	[39] [44]
16	Peter Jarvis	[2]
17	Christopher Jefferson	[11] [14] [18] [22] [24] [26] [27] [29] [30] [32] [38] [43] [49] [51] [52] [53] [55] [56]
18	Tom Kelsey	[21] [27]
19	Zeynep Kiziltan	[7] [8] [10] [13] [23] [35] [36] [37]
20	Lars Kotthoff	[46] [47] [49] [50] [52] [54]
21	Steve Linton	[21]
22	Inês Lynce	[27]
23	Iain McDonald	[21]
24	Paul McKay	[39] [44]
25	Angela Miguel	[22]
26	Neil C. A. Moore	[48] [49]
27	Peter Nightingale	[27] [30] [34] [39] [44] [46] [49] [50] [51] [55]
28	Justin Pearson	[8]
29	Karen E. Petrie	[49]
30	Andrea Rendl	[28] [42] [43]
31	Colva M. Roney-Dougal	[38] [40] [41] [45]
32	Wheeler Ruml	[31]
33	Qiang Shen	[1] [2] [3] [4] [9] [16]
34	Barbara M. Smith	[17] [21] [27]
35	Armagan Tarim (S. Armagan Tarim)	[15] [19] [20] [22] [27]
36	Chris Unsworth	[20]
37	Toby Walsh	[6] [7] [8] [10] [13] [17] [23] [35] [36] [37]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page