Ian Miguel
Ian Miguel
Verified email at st-andrews.ac.uk - Homepage
TitleCited byYear
Minion: A fast scalable constraint solver
IP Gent, C Jefferson, I Miguel
ECAI 141, 98-102, 2006
2982006
Breaking row and column symmetries in matrix models
P Flener, AM Frisch, B Hnich, Z Kiziltan, I Miguel, J Pearson, T Walsh
International Conference on Principles and Practice of Constraint …, 2002
2472002
Global constraints for lexicographic orderings
A Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh
International Conference on Principles and Practice of Constraint …, 2002
1502002
Essence: A constraint language for specifying combinatorial problems
AM Frisch, W Harvey, C Jefferson, B Martínez-Hernández, I Miguel
Constraints 13 (3), 268-306, 2008
1442008
The rules of constraint modelling
AM Frisch, C Jefferson, BM Hernández, I Miguel
IJCAI, 109-116, 2005
992005
Data structures for generalised arc consistency for extensional constraints
IP Gent, C Jefferson, I Miguel, P Nightingale
AAAI 7, 191-197, 2007
962007
The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems.
AM Frisch, M Grum, C Jefferson, BM Hernández, I Miguel
IJCAI 7, 80-87, 2007
932007
Watched literals for constraint propagation in minion
IP Gent, C Jefferson, I Miguel
International Conference on Principles and Practice of Constraint …, 2006
792006
An evaluation of machine learning in algorithm selection for search problems
L Kotthoff, IP Gent, I Miguel
AI Communications 25 (3), 257-270, 2012
562012
Automatic generation of implied constraints
J Charnley, S Colton, I Miguel
ECAI 141, 73-77, 2006
562006
Generalised arc consistency for the alldifferent constraint: An empirical survey
IP Gent, I Miguel, P Nightingale
Artificial Intelligence 172 (18), 1973-2000, 2008
532008
Matrix modelling
P Flener, A Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh
Proc. of the CP-01 Workshop on Modelling and Problem Formulation, 223, 2001
532001
Constraint generation via automated theory formation
S Colton, I Miguel
International Conference on Principles and Practice of Constraint …, 2001
502001
Propagation algorithms for lexicographic ordering constraints
AM Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh
Artificial Intelligence 170 (10), 803-834, 2006
492006
CGRASS: A system for transforming constraint satisfaction problems
AM Frisch, I Miguel, T Walsh
International ERCIM Workshop on Constraint Solving and Constraint Logic …, 2002
462002
Conditional symmetry breaking
IP Gent, T Kelsey, SA Linton, I McDonald, I Miguel, BM Smith
International Conference on Principles and Practice of Constraint …, 2005
422005
Dynamic flexible constraint satisfaction and its application to AI planning
I Miguel
Springer Science & Business Media, 2012
412012
Modelling and solving English peg solitaire
C Jefferson, A Miguel, I Miguel, SA Tarim
Computers & Operations Research 33 (10), 2935-2959, 2006
412006
Tailoring Solver-Independent Constraint Models: A Case Study with Essence′ and Minion
IP Gent, I Miguel, A Rendl
International Symposium on Abstraction, Reformulation, and Approximation …, 2007
402007
Symmetry breaking as a prelude to implied constraints: A constraint modelling pattern
AM Frisch, C Jefferson, I Miguel
ECAI 16, 171, 2004
402004
The system can't perform the operation now. Try again later.
Articles 1–20