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 | 43 | 2011 |
Automatic prioritization of policies H Balinsky, N Moore, SJ Simske US Patent App. 13/295,935, 2013 | 42 | 2013 |
Implementing logical connectives in constraint programming C Jefferson, NCA Moore, P Nightingale, KE Petrie Artificial Intelligence 174 (16-17), 1407-1429, 2010 | 40 | 2010 |
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 | 36 | 2010 |
Lazy explanations for constraint propagators IP Gent, I Miguel, NCA Moore International Symposium on Practical Aspects of Declarative Languages, 217-233, 2010 | 33 | 2010 |
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 | 31 | 2012 |
Management of context-aware policies H Balinsky, N Moore, SJ Simske US Patent 8,689,281, 2014 | 17 | 2014 |
Distributed solving through model splitting L Kotthoff, NCA Moore arXiv preprint arXiv:1008.4328, 2010 | 13 | 2010 |
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 | 11 | 2018 |
An empirical study of learning and forgetting constraints IP Gent, I Miguel, NCA Moore AI Communications 25 (2), 191-208, 2012 | 9 | 2012 |
The ultrametric constraint and its application to phylogenetics NCA Moore, P Prosser Journal of Artificial Intelligence Research 32, 901-938, 2008 | 7 | 2008 |
System call interception H Balinsky, N Moore, SJ Simske US Patent 9,026,801, 2015 | 6 | 2015 |
Improving the efficiency of learning CSP solvers NCA Moore University of St Andrews, 2011 | 5 | 2011 |
Species trees and the ultrametric constraint N Moore, P Prosser Final-year project report at the Department of Computing Science, University …, 2007 | 3 | 2007 |
Intelligent assistant for context-aware policies H Balinsky, NCA Moore, SJ Simske 2011IEEE 10th International Conference on Trust, Security and Privacy in …, 2011 | 2 | 2011 |
C-learning: Further generalised g-nogood learning NCA Moore Proceedings of the ERCIM Workshop on Constraint Solving and Constraint Logic …, 2011 | 2 | 2011 |
The Minion Manual Minion Version 0.9 C Jefferson, L Kotthoff, N Moore, P Nightingale, KE Petrie, A Rendl | 1 | 2009 |
Extensible file synchronization N Moore, A O'lenskie, P Brown US Patent 10,902,019, 2021 | | 2021 |
Server-driven custom context menus NCA Moore, AJ O'lenskie US Patent 10,834,236, 2020 | | 2020 |
The Ultrametric Constraint and its Application to Phylogenetics NCA Moore, P Prosser arXiv e-prints, arXiv: 1401.3438, 2014 | | 2014 |