Warwick Harvey

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

Coauthor Index

1	Maria J. García de la Banda	[4] [5] [6] [13] [15] [16]
2	Alan Borning	[1] [7]
3	Chiu Wo Choi	[14] [18]
4	Bart Demoen	[4] [5] [13] [15] [16]
5	Ian P. Gent	[9] [11]
6	Tom Kelsey	[9] [11]
7	Jimmy Ho-Man Lee (J. H. M. Lee)	[14] [18]
8	Steve Linton	[11]
9	Kim Marriott	[4] [5] [6] [13] [15] [16]
10	David Overton	[15]
11	Joachim Schimpf	[12]
12	Meinolf Sellmann	[8]
13	Kish Shen	[12]
14	Peter J. Stuckey	[1] [2] [4] [5] [6] [7] [10] [13] [14] [15] [16] [18]
15	Mark Wallace	[12]
16	Thorsten Winterer	[17]

Colors in the list of coauthors