dblp.uni-trier.dewww.uni-trier.de

Andrew J. Parkes Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)