|
Search the dblp DataBase
Andrew J. Parkes:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes
Implementing a Generalized Version of Resolution. [Citation Graph (0, 0)][DBLP] AAAI, 2004, pp:55-60 [Conf]
- Matthew L. Ginsberg, Andrew J. Parkes, Amitabha Roy
Supermodels and Robustness. [Citation Graph (0, 0)][DBLP] AAAI/IAAI, 1998, pp:334-339 [Conf]
- Charles B. McVey, David P. Clements, Barton C. Massey, Andrew J. Parkes
Worldwide Aeronautical Route Planner. [Citation Graph (0, 0)][DBLP] AAAI/IAAI, 1999, pp:916-917 [Conf]
- Andrew J. Parkes
Easy Predictions for the Easy-Hard-Easy Transition. [Citation Graph (0, 0)][DBLP] AAAI/IAAI, 2002, pp:688-694 [Conf]
- Andrew J. Parkes
Clustering at the Phase Transition. [Citation Graph (0, 0)][DBLP] AAAI/IAAI, 1997, pp:340-345 [Conf]
- Andrew J. Parkes, Joachim P. Walser
Tuning Local Search for Satisfiability Testing. [Citation Graph (0, 0)][DBLP] AAAI/IAAI, Vol. 1, 1996, pp:356-362 [Conf]
- Andrew J. Parkes
Scaling Properties of Pure Random Walk on Random 3-SAT. [Citation Graph (0, 0)][DBLP] CP, 2002, pp:708-713 [Conf]
- Matthew L. Ginsberg, Andrew J. Parkes
Satisfiability Algorithms and Finite Quantification. [Citation Graph (0, 0)][DBLP] KR, 2000, pp:690-701 [Conf]
- Andrew J. Parkes, Geraint A. Wiggins
Logic Program Synthesis by Induction over Horn Clauses. [Citation Graph (0, 0)][DBLP] LOPSTR, 1995, pp:170- [Conf]
- Heidi E. Dixon, Matthew L. Ginsberg, Eugene M. Luks, Andrew J. Parkes
Generalizing Boolean Satisfiability II: Theory. [Citation Graph (0, 0)][DBLP] J. Artif. Intell. Res. (JAIR), 2004, v:22, n:, pp:481-534 [Journal]
- Heidi E. Dixon, Matthew L. Ginsberg, Andrew J. Parkes
Generalizing Boolean Satisfiability I: Background and Survey of Existing Work. [Citation Graph (0, 0)][DBLP] J. Artif. Intell. Res. (JAIR), 2004, v:21, n:, pp:193-243 [Journal]
- 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 [Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal]
- Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes
Generalizing Boolean Satisfiability III: Implementation. [Citation Graph (0, 0)][DBLP] J. Artif. Intell. Res. (JAIR), 2005, v:23, n:, pp:441-531 [Journal]
The Teaching Space Allocation Problem with Splitting. [Citation Graph (, )][DBLP]
Penalising Patterns in Timetables: Novel Integer Programming Formulations. [Citation Graph (, )][DBLP]
An investigation of fuzzy multiple heuristic orderings in the construction of university examination timetables. [Citation Graph (, )][DBLP]
Decomposition, reformulation, and diving in university course timetabling. [Citation Graph (, )][DBLP]
Decomposition, Reformulation, and Diving in University Course Timetabling [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|