Warwick Harvey

Publication Activity (10 Years)

Years Active: 1997-2008
Publications (10 Years): 0

Publications

Alan M. Frisch, Warwick Harvey, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel
Essence : A constraint language for specifying combinatorial problems. Constraints An Int. J. 13 (3) (2008)
Chiu Wo Choi, Warwick Harvey, J. H. M. Lee, Peter J. Stuckey
Finite Domain Bounds Consistency Revisited. Australian Conference on Artificial Intelligence (2006)
Warwick Harvey, Thorsten Jan Winterer
Solving the MOLR and Social Golfers Problems. CP (2005)
Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen
Checking modes of HAL programs. Theory Pract. Log. Program. 5 (6) (2005)
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". Constraints An Int. J. 9 (1) (2004)
Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen
Checking modes of HAL programs CoRR (2004)
Chiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee, Peter J. Stuckey
Finite Domain Bounds Consistency Revisited CoRR (2004)
Ian P. Gent, Warwick Harvey, Tom Kelsey, Steve Linton
Generic SBDD Using Computational Group Theory. CP (2003)
Warwick Harvey, Peter J. Stuckey
Improving Linear Constraint Propagation by Changing Constraint Representation. Constraints An Int. J. 8 (2) (2003)
Warwick Harvey, Peter J. Stuckey, Alan Borning
Fourier Elimination for Compiling Constraint Hierarchies. Constraints An Int. J. 7 (2) (2002)
Ian P. Gent, Warwick Harvey, Tom Kelsey
Groups and Constraints: Symmetry Breaking during Search. CP (2002)
Meinolf Sellmann, Warwick Harvey
Heuristic Constraint Propagation. CP (2002)
Maria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott
Model Checking in HAL. Computational Logic (2000)
Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey
An Overview of HAL. CP (1999)
Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey
Herbrand Constraint Solving in HAL. ICLP (1999)
Warwick Harvey
Computing Two-Dimensional Integer Hulls. SIAM J. Comput. 28 (6) (1999)
Warwick Harvey, Peter J. Stuckey
Constraint Representation for Propagation. CP (1998)
Warwick Harvey, Peter J. Stuckey, Alan Borning
Compiling Constraint Solving using Projection. CP (1997)