Peter Nightingale

Citado por

	Total	Desde 2016
Citas	1183	511
Índice h	20	14
Índice i10	31	18

120

2001200220032004200520062007200820092010201120122013201420152016201720182019202020213 5 14 9 21 35 30 40 42 36 81 60 89 85 97 84 74 117 87 111 36

Acceso público

Ver todo

20 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Ian GentProfessor of Computer Science, St Andrews UniversityDirección de correo verificada de st-andrews.ac.uk
Ian MiguelUniversity of St AndrewsDirecció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ünLecturer, 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
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
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
Bilal Syed HussainUniversity of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Steve LintonProfessor of Computer 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
Tom KelseyProfessor of Health Data Science, University of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Patrick ProsserComputing Science, GlasgowDirección de correo verificada de dcs.gla.ac.uk
Iain BateReal-Time Systems Group (RTSRG), University of YorkDirección de correo verificada de york.ac.uk
András SalamonUniversity of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Ines LynceINESC-ID / IST, Universidade de LisboaDirección de correo verificada de tecnico.ulisboa.pt
S. Armagan TarimProfessor of Business Analytics, University College CorkDirección de correo verificada de ucc.ie
Anton CervinAssociate professor of Automatic Control, Lund UniversityDirección de correo verificada de control.lth.se

Peter Nightingale

University of York

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

Computer Science Artificial Intelligence Discrete Optimization


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	118*	2005
Data structures for generalised arc consistency for extensional constraints IP Gent, C Jefferson, I Miguel, P Nightingale AAAI 7, 191-197, 2007	102	2007
A new encoding of alldifferent into SAT IP Gent, P Nightingale Proc. 3rd International Workshop on Modelling and Reformulating Constraint …, 2004	86	2004
QCSP-Solve: A solver for quantified constraint satisfaction problems IP Gent, P Nightingale, K Stergiou IJCAI 5, 138-143, 2005	73	2005
Generalised arc consistency for the alldifferent constraint: An empirical survey IP Gent, I Miguel, P Nightingale Artificial Intelligence 172 (18), 1973-2000, 2008	64	2008
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	42	2011
Solving quantified constraint satisfaction problems IP Gent, P Nightingale, A Rowley, K Stergiou Artificial Intelligence 172 (6-7), 738-771, 2008	42	2008
Encoding quantified CSPs as quantified boolean formulae IP Gent, P Nightingale, A Rowley ECAI 16, 176, 2004	41	2004
Implementing logical connectives in constraint programming C Jefferson, NCA Moore, P Nightingale, KE Petrie Artificial Intelligence 174 (16-17), 1407-1429, 2010	40	2010
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	37	2017
Complexity of n-queens completion IP Gent, C Jefferson, P Nightingale Journal of Artificial Intelligence Research 59, 815-848, 2017	37	2017
Automatically improving constraint models in Savile Row through associative-commutative common subexpression elimination P Nightingale, Ö Akgün, IP Gent, C Jefferson, I Miguel International Conference on Principles and Practice of Constraint …, 2014	36	2014
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	36	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	32	2013
Extending simple tabular reduction with short supports C Jefferson, P Nightingale Twenty-Third International Joint Conference on Artificial Intelligence, 2013	29	2013
Consistency and the Quantified Constraint Satisfaction Problem P Nightingale University of St Andrews, 2007	29	2007
Consistency for quantified constraint satisfaction problems P Nightingale Principles and Practice of Constraint Programming-CP 2005, 792-796, 2005	29	2005
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, 2007	26	2007
Establishing timing requirements and control attributes for control loops in real-time systems I Bate, P Nightingale, A Cervin 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings., 121-128, 2003	25	2003
Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row P Nightingale, P Spracklen, I Miguel International Conference on Principles and Practice of Constraint …, 2015	23	2015

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 a este autor

Citado por

Coautores