The following pages link to Peter W. Nightingale (Q862407):
Displayed 20 items.
- Item:Q862407 (redirect page) (← links)
- The extended global cardinality constraint: an empirical survey (Q543616) (← links)
- Implementing logical connectives in constraint programming (Q622127) (← links)
- Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings (Q862408) (← links)
- Non-binary quantified CSP: Algorithms and modelling (Q1037645) (← links)
- Automatically improving constraint models in Savile Row (Q1680696) (← links)
- SAT encodings for pseudo-Boolean constraints together with at-most-one constraints (Q2060735) (← links)
- \textsc{Conjure}: automatic generation of constraint models from problem specifications (Q2163883) (← links)
- Solving quantified constraint satisfaction problems (Q2389634) (← links)
- Generalised arc consistency for the AllDifferent constraint: an empirical survey (Q2389692) (← links)
- Generating custom propagators for arbitrary constraints (Q2453695) (← links)
- Consistency for Quantified Constraint Satisfaction Problems (Q3524224) (← links)
- A review of literature on parallel constraint solving (Q4559826) (← links)
- Generalized support and formal development of constraint propagators (Q4591401) (← links)
- Short and Long Supports for Constraint Propagation (Q4907832) (← links)
- Complexity of n-Queens Completion (Q5371006) (← links)
- (Q5435012) (← links)
- S-crucial and bicrucial permutations with respect to squares (Q5502211) (← links)
- A latent capture history model for digital aerial surveys (Q6079337) (← links)
- Learning to select SAT encodings for pseudo-Boolean and linear Integer constraints (Q6154177) (← links)