Ian Miguel

Cited by

	All	Since 2018
Citations	4092	1187
h-index	37	18
i10-index	76	37

260

130

195

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202324 40 104 96 137 170 182 174 194 206 233 212 226 243 192 184 192 257 186 200 182 216 146

Public access

View all

29 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Christopher JeffersonUniversity of St AndrewsVerified email at st-andrews.ac.uk
Ian GentProfessor of Computer Science, St Andrews UniversityVerified email at st-andrews.ac.uk
Alan M FrischUniversity of YorkVerified email at york.ac.uk
Peter NightingaleUniversity of YorkVerified email at york.ac.uk
Özgür AkgünLecturer, School of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Toby WalshProfessor, UNSW and CSIRO Data61Verified email at cse.unsw.edu.au
Brahim HnichProfessor of Computer Science, Dept. of Computer Science, Monastir University, TunisiaVerified email at fsm.rnu.tn
Zeynep KiziltanAlma Mater - Università di BolognaVerified email at unibo.it
Lars KotthoffUniversity of WyomingVerified email at uwyo.edu
Qiang ShenDepartment of Computer Science, Aberystwyth UniversityVerified email at aber.ac.uk
Pierre FlenerProfessor of Computing Science, Uppsala University, SwedenVerified email at it.uu.se
Patrick SpracklenUniversity of St AndrewsVerified email at st-andrews.ac.uk
Neil C.A. MooreAdobeVerified email at bigoh.co.uk
András SalamonUniversity of St AndrewsVerified email at st-andrews.ac.uk
Simon ColtonProf. Computational Creativity at Queen Mary University of London, UK & Monash University, AustraliaVerified email at qmul.ac.uk
S. Armagan TarimProfessor of Business Analytics, University College CorkVerified email at ucc.ie
Andrea RendlSenior Optimisation Scientist / Satalia (WPP)Verified email at satalia.com
Nguyen DangUniversity of St AndrewsVerified email at st-andrews.ac.uk
Justin PearsonIT Department, Uppsala University, SwedenVerified email at it.uu.se
Steve LintonProfessor of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk

Ian Miguel

University of St Andrews

Verified email at st-andrews.ac.uk - Homepage

Constraint Programming


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Minion: A fast scalable constraint solver IP Gent, C Jefferson, I Miguel ECAI 141, 98-102, 2006	361	2006
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	282	2002
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	213	2008
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	167	2002
The essence of essence AM Frisch, M Grum, C Jefferson, BM Hernández, I Miguel Modelling and Reformulating Constraint Satisfaction Problems 73, 2005	141	2005
Data structures for generalised arc consistency for extensional constraints IP Gent, C Jefferson, I Miguel, P Nightingale AAAI 7, 191-197, 2007	109	2007
The rules of constraint modelling AM Frisch, C Jefferson, BM Hernández, I Miguel IJCAI, 109-116, 2005	109	2005
An evaluation of machine learning in algorithm selection for search problems L Kotthoff, IP Gent, I Miguel Ai Communications 25 (3), 257-270, 2012	102	2012
Watched literals for constraint propagation in minion IP Gent, C Jefferson, I Miguel International Conference on Principles and Practice of Constraint …, 2006	90	2006
Generalised arc consistency for the alldifferent constraint: An empirical survey IP Gent, I Miguel, P Nightingale Artificial Intelligence 172 (18), 1973-2000, 2008	89	2008
Automatic generation of implied constraints J Charnley, S Colton, I Miguel ECAI 141, 73-77, 2006	72	2006
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	70	2017
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	67	2001
CGRASS: A system for transforming constraint satisfaction problems AM Frisch, I Miguel, T Walsh International ERCIM Workshop on Constraint Solving and Constraint Logic …, 2002	63	2002
Propagation algorithms for lexicographic ordering constraints AM Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh Artificial Intelligence 170 (10), 803-834, 2006	58	2006
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	58	2005
Modelling and solving english peg solitaire C Jefferson, A Miguel, I Miguel, SA Tarim Computers & Operations Research 33 (10), 2935-2959, 2006	57	2006
Constraint generation via automated theory formation S Colton, I Miguel Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001	57	2001
Conditional symmetry breaking IP Gent, T Kelsey, SA Linton, I McDonald, I Miguel, BM Smith International Conference on Principles and Practice of Constraint …, 2005	52	2005
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	51	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors