Ian Miguel

Citado por

	Total	Desde 2016
Citas	3479	990
Índice h	35	17
Índice i10	69	33

260

130

195

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202111 25 41 93 98 129 170 187 202 191 197 234 219 212 229 194 181 173 257 181 194 2

Coautores

Christopher JeffersonUniversity of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Alan M FrischUniversity of YorkDirección de correo verificada de york.ac.uk
Ian GentProfessor of Computer Science, St Andrews UniversityDirección de correo verificada de st-andrews.ac.uk
Peter NightingaleUniversity of YorkDirección de correo verificada de york.ac.uk
Toby WalshProfessor, UNSW and Data61Dirección de correo verificada de cse.unsw.edu.au
Özgür AkgünLecturer, School of Computer Science, University of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Brahim HnichProfessor of Computer Science, Dept. of Computer Science, Monastir University, TunisiaDirección de correo verificada de ieu.edu.tr
Zeynep KiziltanAlma Mater - Università di BolognaDirección de correo verificada de unibo.it
Lars KotthoffUniversity of WyomingDirección de correo verificada de uwyo.edu
Qiang ShenDepartment of Computer Science, Aberystwyth UniversityDirección de correo verificada de aber.ac.uk
Pierre FlenerProfessor of Computing Science, Uppsala University, SwedenDirección de correo verificada de it.uu.se
Simon ColtonProf. Computational Creativity at Queen Mary University of London, UK & Monash University, AustraliaDirección de correo verificada de qmul.ac.uk
Neil C.A. MooreAdobeDirección de correo verificada de bigoh.co.uk
Andrea RendlSataliaDirección de correo verificada de satalia.com
S. Armagan TarimProfessor of Business Analytics, University College CorkDirección de correo verificada de ucc.ie
Justin PearsonIT Department, Uppsala University, SwedenDirección de correo verificada de it.uu.se
Steve LintonProfessor of Computer Science, University of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Tom KelseyProfessor of Health Data Science, University of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Adam BarkerProfessor of Computer Science, University of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Blesson VargheseSenior Lecturer (~Associate Professor), Queen's University Belfast, UKDirección de correo verificada de qub.ac.uk

Ian Miguel

University of St Andrews

Dirección de correo verificada de st-andrews.ac.uk - Página principal

Constraint Programming


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Minion: A fast scalable constraint solver IP Gent, C Jefferson, I Miguel ECAI 141, 98-102, 2006	323	2006
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	259	2002
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	170	2008
Global constraints for lexicographic orderings A Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh International Conference on Principles and Practice of Constraint …, 2002	157	2002
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	111	2007
The rules of constraint modelling AM Frisch, C Jefferson, BM Hernández, I Miguel IJCAI, 109-116, 2005	103	2005
Data structures for generalised arc consistency for extensional constraints IP Gent, C Jefferson, I Miguel, P Nightingale AAAI 7, 191-197, 2007	98	2007
Watched literals for constraint propagation in minion IP Gent, C Jefferson, I Miguel International Conference on Principles and Practice of Constraint …, 2006	83	2006
An evaluation of machine learning in algorithm selection for search problems L Kotthoff, IP Gent, I Miguel Ai Communications 25 (3), 257-270, 2012	76	2012
Automatic generation of implied constraints J Charnley, S Colton, I Miguel ECAI 141, 73-77, 2006	65	2006
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	62	2001
Generalised arc consistency for the alldifferent constraint: An empirical survey IP Gent, I Miguel, P Nightingale Artificial Intelligence 172 (18), 1973-2000, 2008	59	2008
Constraint generation via automated theory formation S Colton, I Miguel International Conference on Principles and Practice of Constraint …, 2001	54	2001
Propagation algorithms for lexicographic ordering constraints AM Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh Artificial Intelligence 170 (10), 803-834, 2006	53	2006
CGRASS: A system for transforming constraint satisfaction problems AM Frisch, I Miguel, T Walsh International ERCIM Workshop on Constraint Solving and Constraint Logic …, 2002	50	2002
Conditional symmetry breaking IP Gent, T Kelsey, SA Linton, I McDonald, I Miguel, BM Smith International Conference on Principles and Practice of Constraint …, 2005	48	2005
Modelling and solving English peg solitaire C Jefferson, A Miguel, I Miguel, SA Tarim Computers & Operations Research 33 (10), 2935-2959, 2006	46	2006
The temporal knapsack problem and its solution M Bartlett, AM Frisch, Y Hamadi, I Miguel, SA Tarim, C Unsworth International Conference on Integration of Artificial Intelligence (AI) and …, 2005	44	2005
Matrix modelling: Exploiting common patterns in constraint programming P Flener, AM Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh Proceedings of the International Workshop on Reformulating Constraint …, 2002	44	2002
Symmetry breaking as a prelude to implied constraints: A constraint modelling pattern AM Frisch, C Jefferson, I Miguel ECAI 16, 171, 2004	42	2004

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Subir PDF

Seguir a este autor

Citado por

Coautores