dblp.uni-trier.dewww.uni-trier.de

Ian Miguel

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
35EEAlan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Filtering algorithms for the multiset ordering constraint. Artif. Intell. 173(2): 299-328 (2009)
34EEAlan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Filtering Algorithms for the Multiset Ordering Constraint CoRR abs/0903.0460: (2009)
2008
33EEIan P. Gent, Ian Miguel, Peter Nightingale: Generalised arc consistency for the AllDifferent constraint: An empirical survey. Artif. Intell. 172(18): 1973-2000 (2008)
32EEAlan M. Frisch, Ian Miguel: Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling. Constraints 13(3): 227-228 (2008)
31EEAlan 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
28EEAlan 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
27EEIan P. Gent, Ian Miguel, Andrea Rendl: Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion. SARA 2007: 184-199
26EEIan 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
25EEIan 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
22EEAlan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Propagation algorithms for lexicographic ordering constraints. Artif. Intell. 170(10): 803-834 (2006)
21EEChristopher Jefferson, Angela Miguel, Ian Miguel, Armagan Tarim: Modelling and solving English Peg Solitaire. Computers & OR 33(10): 2935-2959 (2006)
2005
20EEIan P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith: Conditional Symmetry Breaking. CP 2005: 256-270
19EEMark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth: The Temporal Knapsack Problem and Its Solution. CPAIOR 2005: 34-48
18EEArmagan Tarim, Ian Miguel: A Hybrid Benders' Decomposition Method for Solving Stochastic Constraint Programs with Linear Recourse. CSCLP 2005: 133-148
17EEAlan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel: The Rules of Constraint Modelling. IJCAI 2005: 109-116
16EEAlan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh: Transforming and Refining Abstract Constraint Specifications. SARA 2005: 76-91
15EEIan 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
14EEArmagan 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
12EEBrahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Hybrid Modelling for Robust Solving. Annals OR 130(1-4): 19-39 (2004)
2003
11EEAlan 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
9EEIan Miguel, Qiang Shen: Fuzzy rrDFCSP and planning. Artif. Intell. 148(1-2): 11-52 (2003)
2002
8EEPierre 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
7EEAlan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Global Constraints for Lexicographic Orderings. CP 2002: 93-108
6EEAlan 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
5EESimon 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)