Ian Miguel

Cited by

	All	Since 2019
Citations	4254	1082
h-index	38	18
i10-index	78	31

260

130

195

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202425 40 108 94 137 171 182 196 190 206 225 214 224 244 197 182 187 259 179 204 193 227 212 67

Public access

View all

31 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ünSenior Lecturer, 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 KiziltanUniversity of Bologna, ItalyVerified email at unibo.it
Lars KotthoffUniversity of WyomingVerified email at uwyo.edu
Qiang ShenDepartment of Computer Science, Aberystwyth UniversityVerified email at aber.ac.uk
András SalamonUniversity of St AndrewsVerified email at st-andrews.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
Nguyen DangUniversity 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, Hacettepe UniversityVerified email at hacettepe.edu.tr
Andrea RendlSenior Optimisation Scientist / Satalia (WPP)Verified email at satalia.com
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	365	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	286	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	223	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	170	2002
The essence of essence AM Frisch, M Grum, C Jefferson, BM Hernández, I Miguel Modelling and Reformulating Constraint Satisfaction Problems 73, 2005	149	2005
The rules of constraint modelling AM Frisch, C Jefferson, BM Hernández, I Miguel IJCAI, 109-116, 2005	113	2005
Data structures for generalised arc consistency for extensional constraints IP Gent, C Jefferson, I Miguel, P Nightingale AAAI 7, 191-197, 2007	111	2007
An evaluation of machine learning in algorithm selection for search problems L Kotthoff, IP Gent, I Miguel Ai Communications 25 (3), 257-270, 2012	105	2012
Generalised arc consistency for the alldifferent constraint: An empirical survey IP Gent, I Miguel, P Nightingale Artificial Intelligence 172 (18), 1973-2000, 2008	93	2008
Watched literals for constraint propagation in minion IP Gent, C Jefferson, I Miguel International Conference on Principles and Practice of Constraint …, 2006	93	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	76	2017
Automatic generation of implied constraints J Charnley, S Colton, I Miguel ECAI 141, 73-77, 2006	76	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	69	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	66	2002
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	63	2005
Propagation algorithms for lexicographic ordering constraints AM Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh Artificial Intelligence 170 (10), 803-834, 2006	61	2006
Modelling and solving english peg solitaire C Jefferson, A Miguel, I Miguel, SA Tarim Computers & Operations Research 33 (10), 2935-2959, 2006	58	2006
Constraint generation via automated theory formation S Colton, I Miguel Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001	58	2001
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	54	2010
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

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