Peter W. Nightingale

Available identifiers

zbMath Open nightingale.peter-wWikidataQ56424484 ScholiaQ56424484MaRDI QIDQ862407

List of research outcomes

Publication	Date of Publication	Type
Learning to select SAT encodings for pseudo-Boolean and linear Integer constraints	2024-02-14	Paper
A latent capture history model for digital aerial surveys	2023-10-30	Paper
\textsc{Conjure}: automatic generation of constraint models from problem specifications	2022-08-11	Paper
SAT encodings for pseudo-Boolean constraints together with at-most-one constraints	2021-12-13	Paper
A review of literature on parallel constraint solving	2018-12-04	Paper
Automatically improving constraint models in Savile Row	2017-11-16	Paper
Generalized support and formal development of constraint propagators	2017-11-15	Paper
Complexity of \(n\)-queens completion	2017-10-24	Paper
\(S\)-crucial and bicrucial permutations with respect to squares	2015-08-18	Paper
Generating custom propagators for arbitrary constraints	2014-06-10	Paper
Short and long supports for constraint propagation	2013-02-25	Paper
The extended global cardinality constraint: an empirical survey	2011-06-17	Paper
Implementing logical connectives in constraint programming	2011-01-31	Paper
Non-binary quantified CSP: Algorithms and modelling	2009-11-16	Paper
Solving quantified constraint satisfaction problems	2009-07-17	Paper
Generalised arc consistency for the AllDifferent constraint: an empirical survey	2009-07-17	Paper
Consistency for Quantified Constraint Satisfaction Problems	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	2007-01-24	Paper

Research outcomes over time

This page was built for person: Peter W. Nightingale