Общедоступные статьи - Peter NightingaleПодробнее...
33 статьи доступны в некоторых источниках
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
Финансирование: UK Engineering and Physical Sciences Research Council
Complexity of n-queens completion
IP Gent, C Jefferson, P Nightingale
Journal of Artificial Intelligence Research 59, 815-848, 2017
Финансирование: UK Engineering and Physical Sciences Research Council
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
Финансирование: UK Engineering and Physical Sciences Research Council
Extending simple tabular reduction with short supports
C Jefferson, P Nightingale
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
Финансирование: UK Engineering and Physical Sciences Research Council
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
Финансирование: UK Engineering and Physical Sciences Research Council
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
Финансирование: UK Engineering and Physical Sciences Research Council
Metamorphic testing of constraint solvers
Ö Akgün, IP Gent, C Jefferson, I Miguel, P Nightingale
Principles and Practice of Constraint Programming: 24th International …, 2018
Финансирование: UK Engineering and Physical Sciences Research Council, Royal Society UK
Automatic discovery and exploitation of promising subproblems for tabulation
Ö Akgün, IP Gent, C Jefferson, I Miguel, P Nightingale, AZ Salamon
Principles and Practice of Constraint Programming: 24th International …, 2018
Финансирование: UK Engineering and Physical Sciences Research Council, Royal Society UK
Breaking conditional symmetry in automated constraint modelling with Conjure
O Akgun, IP Gent, C Jefferson, I Miguel, P Nightingale
ECAI 2014, 3-8, 2014
Финансирование: UK Engineering and Physical Sciences Research Council
Automatic detection of at-most-one and exactly-one relations for improved SAT encodings of pseudo-boolean constraints
C Ansótegui, M Bofill, J Coll, N Dang, JL Esteban, I Miguel, P Nightingale, ...
Principles and Practice of Constraint Programming: 25th International …, 2019
Финансирование: UK Engineering and Physical Sciences Research Council, Government of Spain
A framework for constraint based local search using Essence
O Akgun, SWA Attieh, IP Gent, CA Jefferson, IJ Miguel, PW Nightingale, ...
Proceedings of the Twenty-Seventh International Joint Conference on …, 2018
Финансирование: UK Engineering and Physical Sciences Research Council, Royal Society UK
Discriminating instance generation for automated constraint model selection
IP Gent, BS Hussain, C Jefferson, L Kotthoff, I Miguel, GF Nightingale, ...
Principles and Practice of Constraint Programming: 20th International …, 2014
Финансирование: UK Engineering and Physical Sciences Research Council
SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints
M Bofill, J Coll, P Nightingale, J Suy, F Ulrich-Oltean, M Villaret
Artificial Intelligence 302, 103604, 2022
Финансирование: UK Engineering and Physical Sciences Research Council, Agence Nationale de …
Effective encodings of constraint programming models to SMT
E Davidson, Ö Akgün, J Espasa, P Nightingale
Principles and Practice of Constraint Programming: 26th International …, 2020
Финансирование: UK Engineering and Physical Sciences Research Council
Generating custom propagators for arbitrary constraints
IP Gent, C Jefferson, S Linton, I Miguel, P Nightingale
Artificial Intelligence 211, 1-33, 2014
Финансирование: UK Engineering and Physical Sciences Research Council
A latent capture history model for digital aerial surveys
DL Borchers, P Nightingale, BC Stevenson, RM Fewster
Biometrics 78 (1), 274-285, 2022
Финансирование: UK Engineering and Physical Sciences Research Council
How people visually represent discrete constraint problems
X Zhu, MA Nacenta, Ö Akgün, P Nightingale
IEEE transactions on visualization and computer graphics 26 (8), 2603-2619, 2019
Финансирование: UK Engineering and Physical Sciences Research Council, UK Natural …
Athanor: high-level local search over abstract constraint specifications in Essence
S Attieh, N Dang, C Jefferson, I Miguel, P Nightingale
Proceedings of the Twenty-Eighth International Joint Conference on …, 2019
Финансирование: UK Engineering and Physical Sciences Research Council, Royal Society UK
Closed frequent itemset mining with arbitrary side constraints
G Koçak, Ö Akgün, I Miguel, P Nightingale
2018 IEEE International Conference on Data Mining Workshops (ICDMW), 1224-1232, 2018
Финансирование: UK Engineering and Physical Sciences Research Council
Qualitative modelling via constraint programming
TW Kelsey, L Kotthoff, CA Jefferson, SA Linton, I Miguel, P Nightingale, ...
Constraints 19, 163-173, 2014
Финансирование: UK Engineering and Physical Sciences Research Council
Информация о публикациях и финансировании собрана автоматически.