Andrew J. Parkes

2009
17	EE	Edmund K. Burke, Jakub Marecek, Andrew J. Parkes, Hana Rudová: Decomposition, Reformulation, and Diving in University Course Timetabling CoRR abs/0903.1095: (2009)
16	EE	Hishammuddin Asmuni, Edmund K. Burke, Jonathan M. Garibaldi, Barry McCollum, Andrew J. Parkes: An investigation of fuzzy multiple heuristic orderings in the construction of university examination timetables. Computers & OR 36(4): 981-1001 (2009)
2007
15	EE	Edmund K. Burke, Jakub Marecek, Andrew J. Parkes, Hana Rudová: Penalising Patterns in Timetables: Novel Integer Programming Formulations. OR 2007: 409-414
14	EE	Edmund K. Burke, Jakub Marecek, Andrew J. Parkes, Hana Rudová: On a Clique-Based Integer Programming Formulation of Vertex Colouring with Applications in Course Timetabling CoRR abs/0710.3603: (2007)
2006
13	EE	Camille Beyrouthy, Edmund K. Burke, Dario Landa Silva, Barry McCollum, Paul McMullan, Andrew J. Parkes: The Teaching Space Allocation Problem with Splitting. PATAT 2006: 228-247
2005
12	EE	Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes: Generalizing Boolean Satisfiability III: Implementation. J. Artif. Intell. Res. (JAIR) 23: 441-531 (2005)
2004
11		Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes: Implementing a Generalized Version of Resolution. AAAI 2004: 55-60
10	EE	Heidi E. Dixon, Matthew L. Ginsberg, Andrew J. Parkes: Generalizing Boolean Satisfiability I: Background and Survey of Existing Work. J. Artif. Intell. Res. (JAIR) 21: 193-243 (2004)
9	EE	Heidi E. Dixon, Matthew L. Ginsberg, Eugene M. Luks, Andrew J. Parkes: Generalizing Boolean Satisfiability II: Theory. J. Artif. Intell. Res. (JAIR) 22: 481-534 (2004)
2002
8		Andrew J. Parkes: Easy Predictions for the Easy-Hard-Easy Transition. AAAI/IAAI 2002: 688-694
7	EE	Andrew J. Parkes: Scaling Properties of Pure Random Walk on Random 3-SAT. CP 2002: 708-713
2000
6		Matthew L. Ginsberg, Andrew J. Parkes: Satisfiability Algorithms and Finite Quantification. KR 2000: 690-701
1999
5		Charles B. McVey, David P. Clements, Barton C. Massey, Andrew J. Parkes: Worldwide Aeronautical Route Planner. AAAI/IAAI 1999: 916-917
1998
4		Matthew L. Ginsberg, Andrew J. Parkes, Amitabha Roy: Supermodels and Robustness. AAAI/IAAI 1998: 334-339
1997
3		Andrew J. Parkes: Clustering at the Phase Transition. AAAI/IAAI 1997: 340-345
1996
2		Andrew J. Parkes, Joachim P. Walser: Tuning Local Search for Satisfiability Testing. AAAI/IAAI, Vol. 1 1996: 356-362
1995
1		Andrew J. Parkes, Geraint A. Wiggins: Logic Program Synthesis by Induction over Horn Clauses. LOPSTR 1995: 170

Coauthor Index

1	Hishammuddin Asmuni	[16]
2	Camille Beyrouthy	[13]
3	Edmund K. Burke	[13] [14] [15] [16] [17]
4	David P. Clements	[5]
5	Heidi E. Dixon	[9] [10] [11] [12]
6	Jonathan M. Garibaldi	[16]
7	Matthew L. Ginsberg	[4] [6] [9] [10] [11] [12]
8	David K. Hofer	[11] [12]
9	Eugene M. Luks	[9] [11] [12]
10	Jakub Marecek	[14] [15] [17]
11	Barton C. Massey (Bart Massey)	[5]
12	Barry McCollum	[13] [16]
13	Paul McMullan	[13]
14	Charles B. McVey	[5]
15	Amitabha Roy	[4]
16	Hana Rudová	[14] [15] [17]
17	Dario Landa Silva	[13]
18	Joachim P. Walser	[2]
19	Geraint A. Wiggins	[1]

Colors in the list of coauthors