Peter Nightingale

Cited by

	All	Since 2020
Citations	1664	642
h-index	24	15
i10-index	41	23

140

105

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420255 6 18 23 27 32 39 38 73 66 94 90 100 78 87 118 93 124 108 139 131 117 21

Public access

View all

33 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Ian MiguelUniversity of St AndrewsVerified email at st-andrews.ac.uk
Ian GentProfessor of Computer Science, St Andrews UniversityVerified email at st-andrews.ac.uk
Christopher JeffersonUniversity of St AndrewsVerified email at st-andrews.ac.uk
Özgür AkgünSenior Lecturer, School of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Lars KotthoffUniversity of WyomingVerified email at uwyo.edu
András SalamonUniversity of St AndrewsVerified email at st-andrews.ac.uk
Alan M FrischUniversity of YorkVerified email at york.ac.uk
Neil C.A. MooreAdobeVerified email at bigoh.co.uk
Mateu Villaret AuselleUniversitat de GironaVerified email at ima.udg.edu
Patrick SpracklenUniversity of St AndrewsVerified email at st-andrews.ac.uk
Felix Ulrich-OlteanUniversity of YorkVerified email at york.ac.uk
Joan Espasa ArxerUniversity of St AndrewsVerified email at st-andrews.ac.uk
Karen PetrieLecturer, University of DundeeVerified email at computing.dundee.ac.uk
Nguyen DangUniversity of St AndrewsVerified email at st-andrews.ac.uk
Kostas StergiouUniversity of Western Macedonia, GreeceVerified email at uowm.gr
Steve LintonProfessor of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Bilal Syed HussainUniversity of St AndrewsVerified email at st-andrews.ac.uk
Andrew RowleySenior Research Software Engineer, University of Manchester, UKVerified email at manchester.ac.uk
Glenna F. NightingaleUniversity of EdinburghVerified email at ed.ac.uk
Tom KelseyProfessor of Health Data Science, University of St AndrewsVerified email at st-andrews.ac.uk

Peter Nightingale

Senior Lecturer, Department of Computer Science, University of York

Verified email at york.ac.uk - Homepage

Computer Science Artificial Intelligence Discrete Optimization Constraint Programming SAT


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Data structures for generalised arc consistency for extensional constraints IP Gent, C Jefferson, I Miguel, P Nightingale AAAI 7, 191-197, 2007	112	2007
A new encoding of alldifferent into SAT IP Gent, P Nightingale Proc. 3rd International Workshop on Modelling and Reformulating Constraint …, 2004	111	2004
Generalised arc consistency for the alldifferent constraint: An empirical survey IP Gent, I Miguel, P Nightingale Artificial Intelligence 172 (18), 1973-2000, 2008	94	2008
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	90	2017
QCSP-Solve: A solver for quantified constraint satisfaction problems IP Gent, P Nightingale, K Stergiou IJCAI 5, 138-143, 2005	75	2005
Complexity of n-queens completion IP Gent, C Jefferson, P Nightingale Journal of Artificial Intelligence Research 59, 815-848, 2017	74	2017
Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings AM Frisch, TJ Peugniez, AJ Doggett, PW Nightingale Journal of Automated Reasoning 35, 143-179, 2005	65	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	58	2010
Solving quantified constraint satisfaction problems IP Gent, P Nightingale, A Rowley, K Stergiou Artificial Intelligence 172 (6-7), 738-771, 2008	50	2008
Automatically improving constraint models in Savile Row through associative-commutative common subexpression elimination P Nightingale, Ö Akgün, IP Gent, C Jefferson, I Miguel Principles and Practice of Constraint Programming: 20th International …, 2014	47	2014
A preliminary review of literature on parallel constraint solving IP Gent, C Jefferson, I Miguel, NC Moore, P Nightingale, P Prosser, ... Proceedings PMCS 2011 Workshop on Parallel Methods for Constraint Solving, 2011	44	2011
Implementing logical connectives in constraint programming C Jefferson, NCA Moore, P Nightingale, KE Petrie Artificial Intelligence 174 (16-17), 1407-1429, 2010	42	2010
Encoding quantified CSPs as quantified boolean formulae IP Gent, P Nightingale, A Rowley ECAI 16, 176, 2004	42	2004
Automated symmetry breaking and model selection in conjure O Akgun, AM Frisch, IP Gent, BS Hussain, C Jefferson, L Kotthoff, I Miguel, ... Principles and Practice of Constraint Programming, 107-116, 2013	41	2013
Metamorphic testing of constraint solvers Ö Akgün, IP Gent, C Jefferson, I Miguel, P Nightingale Principles and Practice of Constraint Programming: 24th International …, 2018	37	2018
Extending Simple Tabular Reduction with Short Supports. C Jefferson, P Nightingale IJCAI, 573-579, 2013	37	2013
Search in the patience game ‘black hole’ IP Gent, C Jefferson, T Kelsey, I Lynce, I Miguel, P Nightingale, BM Smith, ... AI Communications 20 (3), 211-226, 2007	37	2007
Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row P Nightingale, P Spracklen, I Miguel Principles and Practice of Constraint Programming: 21st International …, 2015	36	2015
A review of literature on parallel constraint solving IP Gent, I Miguel, P Nightingale, C McCreesh, P Prosser, NCA Moore, ... Theory and Practice of Logic Programming 18 (5-6), 725-758, 2018	35	2018
Consistency and the Quantified Constraint Satisfaction Problem P Nightingale University of St Andrews, 2007	33	2007

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