Ian Miguel

Cited by

	All	Since 2020
Citations	4388	1028
h-index	38	16
i10-index	80	34

260

130

195

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202525 40 108 94 137 171 182 197 190 209 222 214 224 245 198 186 188 256 183 204 193 230 204 172 24

Public access

View all

35 articles

1 article

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 NightingaleSenior Lecturer, Department of Computer Science, University 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
Nguyen DangUniversity of St AndrewsVerified email at st-andrews.ac.uk
Patrick SpracklenUniversity of St AndrewsVerified email at st-andrews.ac.uk
Pierre FlenerProfessor of Computing Science, Uppsala University, SwedenVerified email at it.uu.se
Neil C.A. MooreAdobeVerified email at bigoh.co.uk
Joan Espasa ArxerUniversity 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
Mateu Villaret AuselleUniversitat de GironaVerified email at ima.udg.edu
Justin PearsonIT Department, Uppsala University, SwedenVerified email at it.uu.se

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	376	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	291	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	231	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	151	2005
The rules of constraint modelling AM Frisch, C Jefferson, BM Hernández, I Miguel IJCAI, 109-116, 2005	114	2005
Data structures for generalised arc consistency for extensional constraints IP Gent, C Jefferson, I Miguel, P Nightingale AAAI 7, 191-197, 2007	112	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	88	2017
Automatic generation of implied constraints J Charnley, S Colton, I Miguel ECAI 141, 73-77, 2006	79	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	72	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	68	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	66	2005
Modelling and solving english peg solitaire C Jefferson, A Miguel, I Miguel, SA Tarim Computers & Operations Research 33 (10), 2935-2959, 2006	63	2006
Propagation algorithms for lexicographic ordering constraints AM Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh Artificial Intelligence 170 (10), 803-834, 2006	62	2006
Constraint generation via automated theory formation S Colton, I Miguel Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001	59	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	56	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	53	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