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
https://portal.mardi4nfdi.de/entity/Q5435012	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Peter W. Nightingale