Warwick Harvey

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