Searching for authors named "Peter Nightingale" – sorted by Relevance.
-
Encoding Quantified CSPs as Quantified Boolean Formulae
- Encoding Quantified CSPs as Quantified Boolean Formulae Ian P. Gent and Peter Nightingale
- Cited by 11 (0 self) – Add To MetaCart
-
QCSP-Solve: A solver for quantified constraint satisfaction problems
- QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems Ian P. Gent and Peter
- Cited by 13 (2 self) – Add To MetaCart
-
Data structures for generalised arc consistency for extensional constraints
- Jefferson, 2 Ian Miguel, 1 and Peter Nightingale 1 1 School of Computer Science, University of St Andrews
- Cited by 1 (0 self) – Add To MetaCart
-
Search in the patience game ’black hole
- Miguel1, Peter Nightingale1, Barbara Smith4, Armagan Tarim2 1: School of Computer Science, University
- Cited by 1 (0 self) – Add To MetaCart
-
Solving Non-Boolean Satisfiability Problems with Stochastic Local Search
- of Encodings ALAN M. FRISCH † , TIMOTHY J. PEUGNIEZ, ANTHONY J. DOGGETT and PETER W. NIGHTINGALE § Artificial
- Cited by 26 (2 self) – Add To MetaCart

