Warwick Harvey

According to our database, Warwick Harvey authored at least 17 papers between 1997 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Essence : A constraint language for specifying combinatorial problems.

Alan M. Frisch, Warwick Harvey, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel

Constraints An Int. J., 2008

2006

Finite Domain Bounds Consistency Revisited.

Chiu Wo Choi, Warwick Harvey, J. H. M. Lee, Peter J. Stuckey

Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

2005

Checking modes of HAL programs.

Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen

Theory Pract. Log. Program., 2005

Solving the MOLR and Social Golfers Problems.

Warwick Harvey, Thorsten Jan Winterer

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

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".

Mark Wallace, Joachim Schimpf, Kish Shen, Warwick Harvey

Constraints An Int. J., 2004

Herbrand Constraints in HAL.

Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

2003

Improving Linear Constraint Propagation by Changing Constraint Representation.

Warwick Harvey, Peter J. Stuckey

Constraints An Int. J., 2003

Generic SBDD Using Computational Group Theory.

Ian P. Gent, Warwick Harvey, Tom Kelsey, Steve Linton

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

Fourier Elimination for Compiling Constraint Hierarchies.

Warwick Harvey, Peter J. Stuckey, Alan Borning

Constraints An Int. J., 2002

Heuristic Constraint Propagation.

Meinolf Sellmann, Warwick Harvey

Proceedings of the Principles and Practice of Constraint Programming, 2002

Groups and Constraints: Symmetry Breaking during Search.

Ian P. Gent, Warwick Harvey, Tom Kelsey

Proceedings of the Principles and Practice of Constraint Programming, 2002

2000

Model Checking in HAL.

Maria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott

Proceedings of the Computational Logic, 2000

1999

Computing Two-Dimensional Integer Hulls.

Warwick Harvey

SIAM J. Comput., 1999

Herbrand Constraint Solving in HAL.

Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

An Overview of HAL.

Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey

Proceedings of the Principles and Practice of Constraint Programming, 1999

1998

Constraint Representation for Propagation.

Warwick Harvey, Peter J. Stuckey

Proceedings of the Principles and Practice of Constraint Programming, 1998

1997

Compiling Constraint Solving using Projection.

Warwick Harvey, Peter J. Stuckey, Alan Borning

Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997