Search the dblp DataBase
Warwick Harvey: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- 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] - 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] - 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] - 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] - 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] - Warwick Harvey, Peter J. Stuckey
Constraint Representation for Propagation. [Citation Graph (0, 0)][DBLP]
CP, 1998, pp:235-249 [Conf] - Warwick Harvey, Peter J. Stuckey, Alan Borning
Compiling Constraint Solving using Projection. [Citation Graph (0, 0)][DBLP]
CP, 1997, pp:491-505 [Conf] - Warwick Harvey, Thorsten Winterer
Solving the MOLR and Social Golfers Problems. [Citation Graph (0, 0)][DBLP]
CP, 2005, pp:286-300 [Conf] - Meinolf Sellmann, Warwick Harvey
Heuristic Constraint Propagation. [Citation Graph (0, 0)][DBLP]
CP, 2002, pp:738-743 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - Warwick Harvey
Computing Two-Dimensional Integer Hulls. [Citation Graph (0, 0)][DBLP]
SIAM J. Comput., 1999, v:28, n:6, pp:2285-2299 [Journal] - 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] - 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]
Essence : A constraint language for specifying combinatorial problems. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002