Peter Nightingale
Peter Nightingale
Dirección de correo verificada de york.ac.uk - Página principal
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
114*2005
Data structures for generalised arc consistency for extensional constraints
IP Gent, C Jefferson, I Miguel, P Nightingale
AAAI 7, 191-197, 2007
982007
A new encoding of alldifferent into SAT
IP Gent, P Nightingale
Proc. 3rd International Workshop on Modelling and Reformulating Constraint …, 2004
812004
QCSP-Solve: A solver for quantified constraint satisfaction problems
IP Gent, P Nightingale, K Stergiou
IJCAI 5, 138-143, 2005
722005
Generalised arc consistency for the alldifferent constraint: An empirical survey
IP Gent, I Miguel, P Nightingale
Artificial Intelligence 172 (18), 1973-2000, 2008
592008
Encoding quantified CSPs as quantified boolean formulae
IP Gent, P Nightingale, A Rowley
ECAI 16, 176, 2004
412004
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
402011
Implementing logical connectives in constraint programming
C Jefferson, NCA Moore, P Nightingale, KE Petrie
Artificial Intelligence 174 (16-17), 1407-1429, 2010
402010
Learning When to Use Lazy Learning in Constraint Solving.
IP Gent, C Jefferson, L Kotthoff, I Miguel, NCA Moore, P Nightingale, ...
ECAI, 873-878, 2010
372010
Solving quantified constraint satisfaction problems
IP Gent, P Nightingale, A Rowley, K Stergiou
Artificial Intelligence 172 (6-7), 738-771, 2008
372008
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
352014
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
342017
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
322013
Consistency and the Quantified Constraint Satisfaction Problem
P Nightingale
University of St Andrews, 2007
292007
Consistency for quantified constraint satisfaction problems
P Nightingale
Principles and Practice of Constraint Programming-CP 2005, 792-796, 2005
292005
Extending Simple Tabular Reduction with Short Supports.
C Jefferson, P Nightingale
IJCAI, 573-579, 2013
262013
Complexity of n-queens completion
IP Gent, C Jefferson, P Nightingale
Journal of Artificial Intelligence Research 59, 815-848, 2017
252017
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
252007
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
252003
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
212015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20