Compiling Constraint Solving using Projection. - Warwick Harvey; Peter J. Stuckey; Alan Borning (CP, 1997)

Constraint Representation for Propagation. - Warwick Harvey; Peter J. Stuckey (CP, 1998)

An Overview of HAL. - Bart Demoen; Maria J. García de la Banda; Warwick Harvey; Kim Marriott; Peter J. Stuckey (CP, 1999)

Herbrand Constraint Solving in HAL. - Bart Demoen; Maria J. García de la Banda; Warwick Harvey; Kim Marriott; Peter J. Stuckey (ICLP, 1999)

Computing Two-Dimensional Integer Hulls. - Warwick Harvey (SIAM J. Comput., 1999)

Model Checking in HAL. - Maria J. García de la Banda; Peter J. Stuckey; Warwick Harvey; Kim Marriott (Computational Logic, 2000)

Groups and Constraints: Symmetry Breaking during Search. - Ian P. Gent; Warwick Harvey; Tom W. Kelsey (CP, 2002)

Heuristic Constraint Propagation. - Meinolf Sellmann; Warwick Harvey (CP, 2002)

Fourier Elimination for Compiling Constraint Hierarchies. - Warwick Harvey; Peter J. Stuckey; Alan Borning (Constraints An Int. J., 2002)

Generic SBDD Using Computational Group Theory. - Ian P. Gent; Warwick Harvey; Tom W. Kelsey; Steve Linton (CP, 2003)

Improving Linear Constraint Propagation by Changing Constraint Representation. - Warwick Harvey; Peter J. Stuckey (Constraints An Int. J., 2003)

Herbrand Constraints in HAL. - Bart Demoen; Maria J. García de la Banda; Warwick Harvey; Kim Marriott; David Overton; Peter J. Stuckey (Program Development in Computational Logic, 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 001; Joachim Schimpf; Kish Shen; Warwick Harvey (Constraints An Int. J., 2004)

Solving the MOLR and Social Golfers Problems. - Warwick Harvey; Thorsten Jan Winterer (CP, 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)

Finite Domain Bounds Consistency Revisited. - Chiu Wo Choi; Warwick Harvey; J. H. M. Lee; Peter J. Stuckey (Australian Conference on Artificial Intelligence, 2006)

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)