Ian Miguel

Cited by

	All	Since 2017
Citations	3712	1046
h-index	35	17
i10-index	74	36

260

130

195

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202210 25 39 94 102 132 164 187 198 196 188 230 209 218 233 191 179 182 258 185 195 162 64

Public access

View all

32 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 CSIRO 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 RendlSenior Optimisation Scientist / Satalia (WPP)Verified 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
András SalamonUniversity of St AndrewsVerified email at st-andrews.ac.uk
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 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 IPGC Jefferson, I Miguel ECAI 2006: 17th European Conference on Artificial Intelligence, August 29 …, 2006	342	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	270	2002
Essence: A constraint language for specifying combinatorial problems AM Frisch, W Harvey, C Jefferson, B Martinez-Hernandez, I Miguel Constraints 13 (3), 268-306, 2008	189	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	156	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	128	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	106	2005
Data structures for generalised arc consistency for extensional constraints IP Gent, C Jefferson, I Miguel, P Nightingale AAAI 7, 191-197, 2007	105	2007
Watched literals for constraint propagation in minion IP Gent, C Jefferson, I Miguel International Conference on Principles and Practice of Constraint …, 2006	84	2006
Generalised arc consistency for the alldifferent constraint: An empirical survey IP Gent, I Miguel, P Nightingale Artificial Intelligence 172 (18), 1973-2000, 2008	69	2008
Automatic generation of implied constraints J Charnley, S Colton, I Miguel ECAI 141, 73-77, 2006	67	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	64	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	57	2002
Propagation algorithms for lexicographic ordering constraints AM Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh Artificial Intelligence 170 (10), 803-834, 2006	56	2006
Constraint generation via automated theory formation S Colton, I Miguel International Conference on Principles and Practice of Constraint …, 2001	54	2001
Modelling and solving English peg solitaire C Jefferson, A Miguel, I Miguel, SA Tarim Computers & Operations Research 33 (10), 2935-2959, 2006	52	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	50	2005
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
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	48	2017
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	44	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

Follow this author

Cited by

Co-authors