متابعة
Ian Miguel
Ian Miguel
University of St Andrews
بريد إلكتروني تم التحقق منه على st-andrews.ac.uk - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
Minion: A fast scalable constraint solver‏
IP Gent, C Jefferson, I Miguel‏
ECAI 141, 98-102, 2006‏
3752006
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‏
2942002
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‏
2332008
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‏
1692002
The essence of essence‏
AM Frisch, M Grum, C Jefferson, BM Hernández, I Miguel‏
Modelling and Reformulating Constraint Satisfaction Problems 73, 2005‏
1562005
The rules of constraint modelling‏
AM Frisch, C Jefferson, BM Hernández, I Miguel‏
IJCAI, 109-116, 2005‏
1142005
Data structures for generalised arc consistency for extensional constraints‏
IP Gent, C Jefferson, I Miguel, P Nightingale‏
AAAI 7, 191-197, 2007‏
1122007
An evaluation of machine learning in algorithm selection for search problems‏
L Kotthoff, IP Gent, I Miguel‏
Ai Communications 25 (3), 257-270, 2012‏
1062012
Generalised arc consistency for the alldifferent constraint: An empirical survey‏
IP Gent, I Miguel, P Nightingale‏
Artificial Intelligence 172 (18), 1973-2000, 2008‏
942008
Watched literals for constraint propagation in minion‏
IP Gent, C Jefferson, I Miguel‏
International Conference on Principles and Practice of Constraint …, 2006‏
932006
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‏
902017
Automatic generation of implied constraints‏
J Charnley, S Colton, I Miguel‏
ECAI 141, 73-77, 2006‏
802006
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‏
722001
CGRASS: A system for transforming constraint satisfaction problems‏
AM Frisch, I Miguel, T Walsh‏
International ERCIM Workshop on Constraint Solving and Constraint Logic …, 2002‏
692002
Modelling and solving english peg solitaire‏
C Jefferson, A Miguel, I Miguel, SA Tarim‏
Computers & Operations Research 33 (10), 2935-2959, 2006‏
632006
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‏
632005
Propagation algorithms for lexicographic ordering constraints‏
AM Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh‏
Artificial Intelligence 170 (10), 803-834, 2006‏
622006
Constraint generation via automated theory formation‏
S Colton, I Miguel‏
Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001‏
602001
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‏
572010
Conditional symmetry breaking‏
IP Gent, T Kelsey, SA Linton, I McDonald, I Miguel, BM Smith‏
International Conference on Principles and Practice of Constraint …, 2005‏
522005
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20