2008 |
19 | EE | Alan M. Frisch,
Warwick Harvey,
Christopher Jefferson,
Bernadette Martínez Hernández,
Ian Miguel:
Essence : A constraint language for specifying combinatorial problems.
Constraints 13(3): 268-306 (2008) |
2006 |
18 | EE | Chiu Wo Choi,
Warwick Harvey,
J. H. M. Lee,
Peter J. Stuckey:
Finite Domain Bounds Consistency Revisited.
Australian Conference on Artificial Intelligence 2006: 49-58 |
2005 |
17 | EE | Warwick Harvey,
Thorsten Winterer:
Solving the MOLR and Social Golfers Problems.
CP 2005: 286-300 |
16 | EE | Maria J. García de la Banda,
Warwick Harvey,
Kim Marriott,
Peter J. Stuckey,
Bart Demoen:
Checking modes of HAL progams.
TPLP 5(6): 623-668 (2005) |
2004 |
15 | EE | Bart Demoen,
Maria J. García de la Banda,
Warwick Harvey,
Kim Marriott,
David Overton,
Peter J. Stuckey:
Herbrand Constraints in HAL.
Program Development in Computational Logic 2004: 499-538 |
14 | EE | Chiu Wo Choi,
Warwick Harvey,
Jimmy Ho-Man Lee,
Peter J. Stuckey:
Finite Domain Bounds Consistency Revisited
CoRR abs/cs/0412021: (2004) |
13 | EE | Maria J. García de la Banda,
Warwick Harvey,
Kim Marriott,
Peter J. Stuckey,
Bart Demoen:
Checking modes of HAL programs
CoRR cs.PL/0409038: (2004) |
12 | EE | 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 9(1): 5-34 (2004) |
2003 |
11 | EE | Ian P. Gent,
Warwick Harvey,
Tom Kelsey,
Steve Linton:
Generic SBDD Using Computational Group Theory.
CP 2003: 333-347 |
10 | | Warwick Harvey,
Peter J. Stuckey:
Improving Linear Constraint Propagation by Changing Constraint Representation.
Constraints 8(2): 173-207 (2003) |
2002 |
9 | EE | Ian P. Gent,
Warwick Harvey,
Tom Kelsey:
Groups and Constraints: Symmetry Breaking during Search.
CP 2002: 415-430 |
8 | EE | Meinolf Sellmann,
Warwick Harvey:
Heuristic Constraint Propagation.
CP 2002: 738-743 |
7 | | Warwick Harvey,
Peter J. Stuckey,
Alan Borning:
Fourier Elimination for Compiling Constraint Hierarchies.
Constraints 7(2): 199-219 (2002) |
2000 |
6 | EE | Maria J. García de la Banda,
Peter J. Stuckey,
Warwick Harvey,
Kim Marriott:
Model Checking in HAL.
Computational Logic 2000: 1270-1284 |
1999 |
5 | | Bart Demoen,
Maria J. García de la Banda,
Warwick Harvey,
Kim Marriott,
Peter J. Stuckey:
An Overview of HAL.
CP 1999: 174-188 |
4 | | Bart Demoen,
Maria J. García de la Banda,
Warwick Harvey,
Kim Marriott,
Peter J. Stuckey:
Herbrand Constraint Solving in HAL.
ICLP 1999: 260-274 |
3 | | Warwick Harvey:
Computing Two-Dimensional Integer Hulls.
SIAM J. Comput. 28(6): 2285-2299 (1999) |
1998 |
2 | EE | Warwick Harvey,
Peter J. Stuckey:
Constraint Representation for Propagation.
CP 1998: 235-249 |
1997 |
1 | | Warwick Harvey,
Peter J. Stuckey,
Alan Borning:
Compiling Constraint Solving using Projection.
CP 1997: 491-505 |