 | 2009 |
| 17 |  | Edmund K. Burke,
Jakub Marecek,
Andrew J. Parkes,
Hana Rudová:
Decomposition, Reformulation, and Diving in University Course Timetabling
CoRR abs/0903.1095: (2009) |
| 16 |  | 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 |  | Edmund K. Burke,
Jakub Marecek,
Andrew J. Parkes,
Hana Rudová:
Penalising Patterns in Timetables: Novel Integer Programming Formulations.
OR 2007: 409-414 |
| 14 |  | 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 |  | 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 |  | 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 |  | 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 |  | 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 |  | 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 |