Folgen
Ian Miguel
Ian Miguel
University of St Andrews
Bestätigte E-Mail-Adresse bei st-andrews.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Minion: A fast scalable constraint solver
IP Gent, C Jefferson, I Miguel
ECAI 141, 98-102, 2006
3572006
Breaking row and column symmetries in matrix models
P Flener, AM Frisch, B Hnich, Z Kiziltan, I Miguel, J Pearson, T Walsh
Principles and Practice of Constraint Programming-CP 2002: 8th International …, 2002
2792002
Essence: A constraint language for specifying combinatorial problems
AM Frisch, W Harvey, C Jefferson, B Martínez-Hernández, I Miguel
Constraints 13, 268-306, 2008
2042008
Global constraints for lexicographic orderings
A Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh
Principles and Practice of Constraint Programming-CP 2002: 8th International …, 2002
1632002
The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems.
AM Frisch, M Grum, C Jefferson, BM Hernandez, I Miguel
IJCAI 7, 80-87, 2007
1392007
Data structures for generalised arc consistency for extensional constraints
IP Gent, C Jefferson, I Miguel, P Nightingale
AAAI 7, 191-197, 2007
1092007
The rules of constraint modelling
AM Frisch, C Jefferson, BM Hernández, I Miguel
IJCAI, 109-116, 2005
1082005
An evaluation of machine learning in algorithm selection for search problems
L Kotthoff, IP Gent, I Miguel
Ai Communications 25 (3), 257-270, 2012
1022012
Watched literals for constraint propagation in minion
IP Gent, C Jefferson, I Miguel
Principles and Practice of Constraint Programming-CP 2006: 12th …, 2006
902006
Generalised arc consistency for the alldifferent constraint: An empirical survey
IP Gent, I Miguel, P Nightingale
Artificial Intelligence 172 (18), 1973-2000, 2008
832008
Automatic generation of implied constraints
J Charnley, S Colton, I Miguel
ECAI 141, 73-77, 2006
712006
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
642001
Automatically improving constraint models in Savile Row
P Nightingale, Ö Akgün, IP Gent, C Jefferson, I Miguel, P Spracklen
Artificial Intelligence 251, 35-61, 2017
612017
CGRASS: A system for transforming constraint satisfaction problems
AM Frisch, I Miguel, T Walsh
Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop …, 2003
612003
Propagation algorithms for lexicographic ordering constraints
AM Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh
Artificial Intelligence 170 (10), 803-834, 2006
582006
Constraint generation via automated theory formation
S Colton, I Miguel
Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001
582001
The temporal knapsack problem and its solution
M Bartlett, AM Frisch, Y Hamadi, I Miguel, SA Tarim, C Unsworth
Integration of AI and OR Techniques in Constraint Programming for …, 2005
562005
Modelling and solving English peg solitaire
C Jefferson, A Miguel, I Miguel, SA Tarim
Computers & Operations Research 33 (10), 2935-2959, 2006
542006
Conditional symmetry breaking
IP Gent, T Kelsey, SA Linton, I McDonald, I Miguel, BM Smith
Principles and Practice of Constraint Programming-CP 2005: 11th …, 2005
512005
Learning when to use lazy learning in constraint solving
IP Gent, C Jefferson, L Kotthoff, I Miguel, NCA Moore, P Nightingale, ...
ECAI 2010, 873-878, 2010
482010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20