Peter Nightingale

Citada per

	Totes	Des de 2020
Citacions	1657	638
Índex h	24	15
Índex i10	41	23

140

105

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420255 6 18 23 27 32 39 38 73 66 94 90 100 77 87 119 93 124 108 139 131 116 20

Accés públic

Mostra-ho tot

33 articles

0 articles

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

Ian MiguelUniversity of St AndrewsCorreu electrònic verificat a st-andrews.ac.uk
Ian GentProfessor of Computer Science, St Andrews UniversityCorreu electrònic verificat a st-andrews.ac.uk
Christopher JeffersonUniversity of St AndrewsCorreu electrònic verificat a st-andrews.ac.uk
Özgür AkgünSenior Lecturer, School of Computer Science, University of St AndrewsCorreu electrònic verificat a st-andrews.ac.uk
Lars KotthoffUniversity of WyomingCorreu electrònic verificat a uwyo.edu
András SalamonUniversity of St AndrewsCorreu electrònic verificat a st-andrews.ac.uk
Alan M FrischUniversity of YorkCorreu electrònic verificat a york.ac.uk
Neil C.A. MooreAdobeCorreu electrònic verificat a bigoh.co.uk
Patrick SpracklenUniversity of St AndrewsCorreu electrònic verificat a st-andrews.ac.uk
Mateu Villaret AuselleUniversitat de GironaCorreu electrònic verificat a ima.udg.edu
Felix Ulrich-OlteanUniversity of YorkCorreu electrònic verificat a york.ac.uk
Joan Espasa ArxerUniversity of St AndrewsCorreu electrònic verificat a st-andrews.ac.uk
Karen PetrieLecturer, University of DundeeCorreu electrònic verificat a computing.dundee.ac.uk
Nguyen DangUniversity of St AndrewsCorreu electrònic verificat a st-andrews.ac.uk
Kostas StergiouUniversity of Western Macedonia, GreeceCorreu electrònic verificat a uowm.gr
Steve LintonProfessor of Computer Science, University of St AndrewsCorreu electrònic verificat a st-andrews.ac.uk
Bilal Syed HussainUniversity of St AndrewsCorreu electrònic verificat a st-andrews.ac.uk
Andrew RowleySenior Research Software Engineer, University of Manchester, UKCorreu electrònic verificat a manchester.ac.uk
Glenna F. NightingaleUniversity of EdinburghCorreu electrònic verificat a ed.ac.uk
Tom KelseyProfessor of Health Data Science, University of St AndrewsCorreu electrònic verificat a st-andrews.ac.uk

Segueix

Peter Nightingale

Senior Lecturer, Department of Computer Science, University of York

Correu electrònic verificat a york.ac.uk - Pàgina d'inici

Computer Science Artificial Intelligence Discrete Optimization Constraint Programming SAT


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
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	110	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	73	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	57	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
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
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	35	2015
Consistency and the Quantified Constraint Satisfaction Problem P Nightingale University of St Andrews, 2007	33	2007

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors