Ian Miguel

Cited by

	All	Since 2016
Citations	3534	1023
h-index	35	17
i10-index	70	34

260

130

195

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202110 25 39 97 96 129 173 186 201 192 199 229 221 220 232 195 183 171 255 182 191 39

Public access

View all

25 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Christopher JeffersonUniversity of St AndrewsVerified email at st-andrews.ac.uk
Alan M FrischUniversity of YorkVerified email at york.ac.uk
Ian GentProfessor of Computer Science, St Andrews UniversityVerified email at st-andrews.ac.uk
Peter NightingaleUniversity of YorkVerified email at york.ac.uk
Toby WalshProfessor, UNSW and Data61Verified email at cse.unsw.edu.au
Özgür AkgünLecturer, School of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
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
Neil C.A. MooreAdobeVerified email at bigoh.co.uk
Simon ColtonProf. Computational Creativity at Queen Mary University of London, UK & Monash University, AustraliaVerified email at qmul.ac.uk
Andrea RendlSataliaVerified email at satalia.com
S. Armagan TarimProfessor of Business Analytics, University College CorkVerified email at ucc.ie
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
Tom KelseyProfessor of Health Data Science, University of St AndrewsVerified email at st-andrews.ac.uk
Adam BarkerProfessor of Computer Science, University of St Andrews and GoogleVerified email at st-andrews.ac.uk
Blesson VargheseSenior Lecturer (~Associate Professor), Queen's University Belfast, UKVerified email at qub.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	334	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	261	2002
E ssence: A constraint language for specifying combinatorial problems AM Frisch, W Harvey, C Jefferson, B Martinez-Hernandez, 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	153	2002
An evaluation of machine learning in algorithm selection for search problems L Kotthoff, IP Gent, I Miguel Ai Communications 25 (3), 257-270, 2012	115	2012
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	114	2007
The rules of constraint modelling AM Frisch, C Jefferson, BM Hernández, I Miguel IJCAI, 109-116, 2005	104	2005
Data structures for generalised arc consistency for extensional constraints IP Gent, C Jefferson, I Miguel, P Nightingale AAAI 7, 191-197, 2007	100	2007
Watched literals for constraint propagation in minion IP Gent, C Jefferson, I Miguel International Conference on Principles and Practice of Constraint …, 2006	85	2006
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	63	2001
Generalised arc consistency for the alldifferent constraint: An empirical survey IP Gent, I Miguel, P Nightingale Artificial Intelligence 172 (18), 1973-2000, 2008	62	2008
Propagation algorithms for lexicographic ordering constraints AM Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh Artificial Intelligence 170 (10), 803-834, 2006	55	2006
Constraint generation via automated theory formation S Colton, I Miguel International Conference on Principles and Practice of Constraint …, 2001	54	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	52	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	49	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
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	45	2002
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
A preliminary review of literature on parallel constraint solving IP Gent, C Jefferson, I Miguel, NCA Moore, P Nightingale, P Prosser, ... Proceedings PMCS 2011 Workshop on Parallel Methods for Constraint Solving …, 2011	43	2011

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

Upload PDF

Follow this author

Cited by

Co-authors