| 2008 |
|---|
| 10 | EE | Ian P. Gent,
Ian Miguel,
Peter Nightingale:
Generalised arc consistency for the AllDifferent constraint: An empirical survey.
Artif. Intell. 172(18): 1973-2000 (2008) |
| 9 | EE | Ian P. Gent,
Peter Nightingale,
Andrew G. D. Rowley,
Kostas Stergiou:
Solving quantified constraint satisfaction problems.
Artif. Intell. 172(6-7): 738-771 (2008) |
| 2007 |
|---|
| 8 | | Ian P. Gent,
Christopher Jefferson,
Ian Miguel,
Peter Nightingale:
Data Structures for Generalised Arc Consistency for Extensional Constraints.
AAAI 2007: 191-197 |
| 7 | EE | Ian P. Gent,
Christopher Jefferson,
Tom Kelsey,
Inês Lynce,
Ian Miguel,
Peter Nightingale,
Barbara M. Smith,
Armagan Tarim:
Search in the patience game 'Black Hole'.
AI Commun. 20(3): 211-226 (2007) |
| 2005 |
|---|
| 6 | EE | Peter Nightingale:
Consistency for Quantified Constraint Satisfaction Problems.
CP 2005: 792-796 |
| 5 | EE | Ian P. Gent,
Peter Nightingale,
Kostas Stergiou:
QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems.
IJCAI 2005: 138-143 |
| 4 | EE | Alan M. Frisch,
Timothy J. Peugniez,
Anthony J. Doggett,
Peter Nightingale:
Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings.
J. Autom. Reasoning 35(1-3): 143-179 (2005) |
| 2004 |
|---|
| 3 | | Ian P. Gent,
Peter Nightingale,
Andrew G. D. Rowley:
Encoding Quantified CSPs as Quantified Boolean Formulae.
ECAI 2004: 176-180 |
| 2003 |
|---|
| 2 | EE | Iain Bate,
Peter Nightingale,
Anton Cervin:
Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems.
ECRTS 2003: 121- |
| 1 | EE | Iain Bate,
John A. McDermid,
Peter Nightingale:
Establishing timing requirements for control loops in real-time systems.
Microprocessors and Microsystems 27(4): 159-169 (2003) |
