The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andrew J. Parkes: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Matthew L. Ginsberg, Andrew J. Parkes, Amitabha Roy
    Supermodels and Robustness. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1998, pp:334-339 [Conf]
  3. 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]
  4. Andrew J. Parkes
    Easy Predictions for the Easy-Hard-Easy Transition. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2002, pp:688-694 [Conf]
  5. Andrew J. Parkes
    Clustering at the Phase Transition. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1997, pp:340-345 [Conf]
  6. 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]
  7. Andrew J. Parkes
    Scaling Properties of Pure Random Walk on Random 3-SAT. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:708-713 [Conf]
  8. Matthew L. Ginsberg, Andrew J. Parkes
    Satisfiability Algorithms and Finite Quantification. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:690-701 [Conf]
  9. Andrew J. Parkes, Geraint A. Wiggins
    Logic Program Synthesis by Induction over Horn Clauses. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1995, pp:170- [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]

  14. The Teaching Space Allocation Problem with Splitting. [Citation Graph (, )][DBLP]


  15. Penalising Patterns in Timetables: Novel Integer Programming Formulations. [Citation Graph (, )][DBLP]


  16. An investigation of fuzzy multiple heuristic orderings in the construction of university examination timetables. [Citation Graph (, )][DBLP]


  17. Decomposition, reformulation, and diving in university course timetabling. [Citation Graph (, )][DBLP]


  18. Decomposition, Reformulation, and Diving in University Course Timetabling [Citation Graph (, )][DBLP]


Search in 0.060secs, Finished in 0.061secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002