Peter Nightingale

	2009
12		Sophie Huczynska, Paul McKay, Ian Miguel, Peter Nightingale: Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics. CP 2009: 50-64
11		Peter Nightingale: Non-binary quantified CSP: algorithms and modelling. Constraints 14(4): 539-581 (2009)
	2008
10		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		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		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		Peter Nightingale: Consistency for Quantified Constraint Satisfaction Problems. CP 2005: 792-796
5		Ian P. Gent, Peter Nightingale, Kostas Stergiou: QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems. IJCAI 2005: 138-143
4		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		Iain Bate, Peter Nightingale, Anton Cervin: Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems. ECRTS 2003: 121-
1		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)

Coauthor Index

1	Iain Bate (I. J. Bate)	[1] [2]
2	Anton Cervin	[2]
3	Anthony J. Doggett	[4]
4	Alan M. Frisch	[4]
5	Ian P. Gent	[3] [5] [7] [8] [9] [10]
6	Sophie Huczynska	[12]
7	Christopher Jefferson	[7] [8]
8	Tom Kelsey	[7]
9	Inês Lynce	[7]
10	John A. McDermid	[1]
11	Paul McKay	[12]
12	Ian Miguel	[7] [8] [10] [12]
13	Timothy J. Peugniez	[4]
14	Andrew G. D. Rowley	[3] [9]
15	Barbara M. Smith	[7]
16	Kostas Stergiou	[5] [9]
17	Armagan Tarim (S. Armagan Tarim)	[7]

Colors in the list of coauthors