Peter W. Nightingale

MaRDI QIDQ862407zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Learning to select SAT encodings for pseudo-Boolean and linear Integer constraints Constraints	2024-02-14	Paper
A latent capture history model for digital aerial surveys Biometrics	2023-10-30	Paper
\textsc{Conjure}: automatic generation of constraint models from problem specifications Artificial Intelligence	2022-08-11	Paper
SAT encodings for pseudo-Boolean constraints together with at-most-one constraints Artificial Intelligence	2021-12-13	Paper
A review of literature on parallel constraint solving Theory and Practice of Logic Programming	2018-12-04	Paper
Automatically improving constraint models in Savile Row Artificial Intelligence	2017-11-16	Paper
Generalized support and formal development of constraint propagators AI Communications	2017-11-15	Paper
Complexity of \(n\)-queens completion Journal of Artificial Intelligence Research	2017-10-24	Paper
\(S\)-crucial and bicrucial permutations with respect to squares	2015-08-18	Paper
\(S\)-crucial and bicrucial permutations with respect to squares (available as arXiv preprint)	2015-08-18	Paper
Generating custom propagators for arbitrary constraints Artificial Intelligence	2014-06-10	Paper
Short and long supports for constraint propagation Journal of Artificial Intelligence Research	2013-02-25	Paper
The extended global cardinality constraint: an empirical survey Artificial Intelligence	2011-06-17	Paper
Implementing logical connectives in constraint programming Artificial Intelligence	2011-01-31	Paper
Non-binary quantified CSP: Algorithms and modelling Constraints	2009-11-16	Paper
Solving quantified constraint satisfaction problems Artificial Intelligence	2009-07-17	Paper
Generalised arc consistency for the AllDifferent constraint: an empirical survey Artificial Intelligence	2009-07-17	Paper
Consistency for Quantified Constraint Satisfaction Problems Principles and Practice of Constraint Programming - CP 2005	2008-09-09	Paper
Search in the patience game `Black Hole'	2008-01-14	Paper
Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings Journal of Automated Reasoning	2007-01-24	Paper

Research outcomes over time

This page was built for person: Peter W. Nightingale