The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Warwick Harvey: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Chiu Wo Choi, Warwick Harvey, J. H. M. Lee, Peter J. Stuckey
    Finite Domain Bounds Consistency Revisited. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2006, pp:49-58 [Conf]
  2. Maria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott
    Model Checking in HAL. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:1270-1284 [Conf]
  3. Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey
    An Overview of HAL. [Citation Graph (0, 0)][DBLP]
    CP, 1999, pp:174-188 [Conf]
  4. Ian P. Gent, Warwick Harvey, Tom Kelsey
    Groups and Constraints: Symmetry Breaking during Search. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:415-430 [Conf]
  5. Ian P. Gent, Warwick Harvey, Tom Kelsey, Steve Linton
    Generic SBDD Using Computational Group Theory. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:333-347 [Conf]
  6. Warwick Harvey, Peter J. Stuckey
    Constraint Representation for Propagation. [Citation Graph (0, 0)][DBLP]
    CP, 1998, pp:235-249 [Conf]
  7. Warwick Harvey, Peter J. Stuckey, Alan Borning
    Compiling Constraint Solving using Projection. [Citation Graph (0, 0)][DBLP]
    CP, 1997, pp:491-505 [Conf]
  8. Warwick Harvey, Thorsten Winterer
    Solving the MOLR and Social Golfers Problems. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:286-300 [Conf]
  9. Meinolf Sellmann, Warwick Harvey
    Heuristic Constraint Propagation. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:738-743 [Conf]
  10. Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey
    Herbrand Constraint Solving in HAL. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:260-274 [Conf]
  11. Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey
    Herbrand Constraints in HAL. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:499-538 [Conf]
  12. Warwick Harvey, Peter J. Stuckey
    Improving Linear Constraint Propagation by Changing Constraint Representation. [Citation Graph (0, 0)][DBLP]
    Constraints, 2003, v:8, n:2, pp:173-207 [Journal]
  13. Warwick Harvey, Peter J. Stuckey, Alan Borning
    Fourier Elimination for Compiling Constraint Hierarchies. [Citation Graph (0, 0)][DBLP]
    Constraints, 2002, v:7, n:2, pp:199-219 [Journal]
  14. Mark Wallace, Joachim Schimpf, Kish Shen, Warwick Harvey
    On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's "A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains". [Citation Graph (0, 0)][DBLP]
    Constraints, 2004, v:9, n:1, pp:5-34 [Journal]
  15. Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen
    Checking modes of HAL programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  16. Warwick Harvey
    Computing Two-Dimensional Integer Hulls. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1999, v:28, n:6, pp:2285-2299 [Journal]
  17. Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen
    Checking modes of HAL progams. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:6, pp:623-668 [Journal]
  18. Chiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee, Peter J. Stuckey
    Finite Domain Bounds Consistency Revisited [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]

  19. Essence : A constraint language for specifying combinatorial problems. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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