Подписаться
Peter Nightingale
Peter Nightingale
Senior Lecturer, Department of Computer Science, University of York
Подтвержден адрес электронной почты в домене york.ac.uk - Главная страница
Название
Процитировано
Процитировано
Год
Data structures for generalised arc consistency for extensional constraints
IP Gent, C Jefferson, I Miguel, P Nightingale
AAAI 7, 191-197, 2007
1122007
A new encoding of alldifferent into SAT
IP Gent, P Nightingale
Proc. 3rd International Workshop on Modelling and Reformulating Constraint …, 2004
1112004
Generalised arc consistency for the alldifferent constraint: An empirical survey
IP Gent, I Miguel, P Nightingale
Artificial Intelligence 172 (18), 1973-2000, 2008
932008
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
882017
QCSP-Solve: A solver for quantified constraint satisfaction problems
IP Gent, P Nightingale, K Stergiou
IJCAI 5, 138-143, 2005
762005
Complexity of n-queens completion
IP Gent, C Jefferson, P Nightingale
Journal of Artificial Intelligence Research 59, 815-848, 2017
732017
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
652005
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
562010
Solving quantified constraint satisfaction problems
IP Gent, P Nightingale, A Rowley, K Stergiou
Artificial Intelligence 172 (6-7), 738-771, 2008
532008
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
472014
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
442011
Encoding quantified CSPs as quantified boolean formulae
IP Gent, P Nightingale, A Rowley
ECAI 16, 176, 2004
442004
Implementing logical connectives in constraint programming
C Jefferson, NCA Moore, P Nightingale, KE Petrie
Artificial Intelligence 174 (16-17), 1407-1429, 2010
422010
Extending simple tabular reduction with short supports
C Jefferson, P Nightingale
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
412013
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
402013
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
372015
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
372007
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
362018
Metamorphic testing of constraint solvers
Ö Akgün, IP Gent, C Jefferson, I Miguel, P Nightingale
Principles and Practice of Constraint Programming: 24th International …, 2018
362018
Consistency and the Quantified Constraint Satisfaction Problem
P Nightingale
University of St Andrews, 2007
332007
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20