MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Peter Nightingale" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Encoding Quantified CSPs as Quantified Boolean Formulae
by Ian P. Gent, Peter Nightingale, Andrew Rowley — 2004 — In Proceedings of ECAI-2004
…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
by Ian P. Gent, Peter Nightingale, Kostas Stergiou — 2005 — In Proc. of Int. Joint. Conf. on Artificial Intelligence (IJCAI
…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
by Ian P. Gent, Chris Jefferson, Ian Miguel, Peter Nightingale — 2007 — In Proceedings of the Twenty Second Conference on Artificial Intelligence
… 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
by Ian Gent, Christopher Jefferson, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara Smith, Armagan Tarim — 2005
… 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
by Alan M. Frisch, Timothy J. Peugniez, Anthony J. Doggett, Peter W. Nightingale — 2001 — in Proc. IJCAI-01
… of Encodings ALAN M. FRISCH † , TIMOTHY J. PEUGNIEZ, ANTHONY J. DOGGETT and PETER W. NIGHTINGALE § Artificial…
Cited by 26 (2 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB