Peter Nightingale

Citado por

	Total	Desde 2019
Citas	1642	710
Índice h	23	16
Índice i10	41	22

140

105

20032004200520062007200820092010201120122013201420152016201720182019202020212022202320245 6 18 24 28 32 40 35 77 65 92 89 100 79 87 122 91 125 114 136 136 106

Acceso público

Ver todo

31 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Ian MiguelUniversity of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Ian GentProfessor of Computer Science, St Andrews UniversityDirección de correo verificada de st-andrews.ac.uk
Christopher JeffersonUniversity of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Özgür AkgünSenior Lecturer, School of Computer Science, University of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Lars KotthoffUniversity of WyomingDirección de correo verificada de uwyo.edu
András SalamonUniversity of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Alan M FrischUniversity of YorkDirección de correo verificada de york.ac.uk
Neil C.A. MooreAdobeDirección de correo verificada de bigoh.co.uk
Patrick SpracklenUniversity of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Mateu Villaret AuselleUniversitat de GironaDirección de correo verificada de ima.udg.edu
Felix Ulrich-OlteanUniversity of YorkDirección de correo verificada de york.ac.uk
Joan Espasa ArxerUniversity of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Karen PetrieLecturer, University of DundeeDirección de correo verificada de computing.dundee.ac.uk
Kostas StergiouUniversity of Western Macedonia, GreeceDirección de correo verificada de uowm.gr
Steve LintonProfessor of Computer Science, University of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Andrew RowleySenior Research Software Engineer, University of Manchester, UKDirección de correo verificada de manchester.ac.uk
Bilal Syed HussainUniversity of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Nguyen DangUniversity of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Tom KelseyProfessor of Health Data Science, University of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Glenna F. NightingaleUniversity of EdinburghDirección de correo verificada de ed.ac.uk

Seguir

Peter Nightingale

Senior Lecturer, Department of Computer Science, University of York

Dirección de correo verificada de york.ac.uk - Página principal

Computer Science Artificial Intelligence Discrete Optimization Constraint Programming SAT


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Data structures for generalised arc consistency for extensional constraints IP Gent, C Jefferson, I Miguel, P Nightingale AAAI 7, 191-197, 2007	111	2007
A new encoding of alldifferent into SAT IP Gent, P Nightingale Proc. 3rd International Workshop on Modelling and Reformulating Constraint …, 2004	109	2004
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
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
QCSP-Solve: A solver for quantified constraint satisfaction problems IP Gent, P Nightingale, K Stergiou IJCAI 5, 138-143, 2005	76	2005
Complexity of n-queens completion IP Gent, C Jefferson, P Nightingale Journal of Artificial Intelligence Research 59, 815-848, 2017	71	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	55	2010
Solving quantified constraint satisfaction problems IP Gent, P Nightingale, A Rowley, K Stergiou Artificial Intelligence 172 (6-7), 738-771, 2008	53	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
Encoding quantified CSPs as quantified boolean formulae IP Gent, P Nightingale, A Rowley ECAI 16, 176, 2004	44	2004
Implementing logical connectives in constraint programming C Jefferson, NCA Moore, P Nightingale, KE Petrie Artificial Intelligence 174 (16-17), 1407-1429, 2010	41	2010
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	40	2013
Extending simple tabular reduction with short supports C Jefferson, P Nightingale Twenty-Third International Joint Conference on Artificial Intelligence, 2013	39	2013
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	37	2015
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
Metamorphic testing of constraint solvers Ö Akgün, IP Gent, C Jefferson, I Miguel, P Nightingale Principles and Practice of Constraint Programming: 24th International …, 2018	35	2018
Consistency and the Quantified Constraint Satisfaction Problem P Nightingale University of St Andrews, 2007	33	2007

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores