Peter Nightingale
TitleCited byYear
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
109*2005
Data structures for generalised arc consistency for extensional constraints
IP Gent, C Jefferson, I Miguel, P Nightingale
AAAI 7, 191-197, 2007
962007
A new encoding of alldifferent into SAT
IP Gent, P Nightingale
Proc. 3rd International Workshop on Modelling and Reformulating Constraint …, 2004
732004
QCSP-Solve: A solver for quantified constraint satisfaction problems
IP Gent, P Nightingale, K Stergiou
IJCAI 5, 138-143, 2005
682005
Generalised arc consistency for the alldifferent constraint: An empirical survey
IP Gent, I Miguel, P Nightingale
Artificial Intelligence 172 (18), 1973-2000, 2008
542008
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
392011
Implementing logical connectives in constraint programming
C Jefferson, NCA Moore, P Nightingale, KE Petrie
Artificial Intelligence 174 (16-17), 1407-1429, 2010
392010
Encoding quantified CSPs as quantified boolean formulae
IP Gent, P Nightingale, A Rowley
ECAI 16, 176, 2004
392004
Solving quantified constraint satisfaction problems
IP Gent, P Nightingale, A Rowley, K Stergiou
Artificial Intelligence 172 (6-7), 738-771, 2008
372008
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
332010
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
322014
Consistency and the Quantified Constraint Satisfaction Problem
P Nightingale
University of St Andrews, 2007
282007
Consistency for quantified constraint satisfaction problems
P Nightingale
Principles and Practice of Constraint Programming-CP 2005, 792-796, 2005
282005
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 constraint models in Savile Row
P Nightingale, Ö Akgün, IP Gent, C Jefferson, I Miguel, P Spracklen
Artificial Intelligence 251, 35-61, 2017
242017
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
242013
Complexity of n-queens completion
IP Gent, C Jefferson, P Nightingale
Journal of Artificial Intelligence Research 59, 815-848, 2017
222017
Extending simple tabular reduction with short supports
C Jefferson, P Nightingale
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
202013
Ensemble classification for constraint solver configuration
L Kotthoff, I Miguel, P Nightingale
Principles and Practice of Constraint Programming–CP 2010, 321-329, 2010
182010
The system can't perform the operation now. Try again later.
Articles 1–20