Neil C.A. Moore
Neil C.A. Moore
Software Development Engineer, Amazon
Verified email at bigoh.co.uk - Homepage
TitleCited byYear
A preliminary review of literature on parallel constraint solving
IP Gent, C Jefferson, I Miguel, NCA 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
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
Automatic prioritization of policies
H Balinsky, N Moore, SJ Simske
US Patent App. 13/295,935, 2013
322013
Lazy explanations for constraint propagators
IP Gent, I Miguel, NCA Moore
International Symposium on Practical Aspects of Declarative Languages, 217-233, 2010
292010
Consistency techniques for flow-based projection-safe global cost functions in weighted constraint satisfaction
JHM Lee, KL Leung
Journal of Artificial Intelligence Research 43, 257-292, 2012
282012
Management of context-aware policies
H Balinsky, N Moore, SJ Simske
US Patent 8,689,281, 2014
212014
Distributed solving through model splitting
L Kotthoff, NCA Moore
arXiv preprint arXiv:1008.4328, 2010
112010
An empirical study of learning and forgetting constraints
IP Gent, I Miguel, NCA Moore
AI Communications 25 (2), 191-208, 2012
82012
System call interception
H Balinsky, N Moore, SJ Simske
US Patent 9,026,801, 2015
72015
Improving the efficiency of learning CSP solvers
NCA Moore
University of St Andrews, 2011
52011
The ultrametric constraint and its application to phylogenetics
NCA Moore, P Prosser
Journal of Artificial Intelligence Research 32, 901-938, 2008
52008
Species trees and the ultrametric constraint
N Moore, P Prosser
Final-year project report at the Department of Computing Science, University …, 2007
32007
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
22018
Intelligent assistant for context-aware policies
H Balinsky, NCA Moore, SJ Simske
2011IEEE 10th International Conference on Trust, Security and Privacy in …, 2011
22011
C-learning: Further generalised g-nogood learning
NCA Moore
Proceedings of the ERCIM Workshop on Constraint Solving and Constraint Logic …, 2011
22011
The Minion Manual Minion Version 0.9
C Jefferson, L Kotthoff, N Moore, P Nightingale, KE Petrie, A Rendl
12009
The Ultrametric Constraint and its Application to Phylogenetics
NCA Moore, P Prosser
arXiv preprint arXiv:1401.3438, 2014
2014
Changes to: The Ultrametric Constraint and its Application to Phylogenetics
N Moore, P Prosser
2008
Learning implied constraints lazily
N Moore, I Miguel
The system can't perform the operation now. Try again later.
Articles 1–20