Neil C. A. Moore

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 2

Top Topics

Constraint Solvers

Systematic Review

Constraint Satisfaction

Constraint Logic Programming

Top Venues

Theory Pract. Log. Program.

University of St Andrews, UK (PHD)

Education History

University of St Andrews, UK

PHD

Publications

Ian P. Gent, Ciaran McCreesh, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Patrick Prosser, Chris Unsworth
A Review of Literature on Parallel Constraint Solving. CoRR (2018)
Ian P. Gent, Ian Miguel, Peter Nightingale, Ciaran McCreesh, Patrick Prosser, Neil C. A. Moore, Chris Unsworth
A review of literature on parallel constraint solving. Theory Pract. Log. Program. 18 (5-6) (2018)
Neil C. A. Moore, Patrick Prosser
The Ultrametric Constraint and its Application to Phylogenetics. CoRR (2014)
Ian P. Gent, Ian Miguel, Neil C. A. Moore
An empirical study of learning and forgetting constraints. AI Commun. 25 (2) (2012)
Helen Balinsky, Neil C. A. Moore, Steven J. Simske
Intelligent Assistant for Context-Aware Policies. TrustCom (2011)
Lars Kotthoff, Neil C. A. Moore
Distributed solving through model splitting CoRR (2010)
Ian P. Gent, Ian Miguel, Neil C. A. Moore
Lazy Explanations for Constraint Propagators. PADL (2010)
Christopher Jefferson, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie
Implementing logical connectives in constraint programming. Artif. Intell. 174 (16-17) (2010)
Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie
Learning When to Use Lazy Learning in Constraint Solving. ECAI (2010)
Neil C. A. Moore, Patrick Prosser
The Ultrametric Constraint and its Application to Phylogenetics. J. Artif. Intell. Res. 32 (2008)