dblp.uni-trier.dewww.uni-trier.de

Warwick Harvey

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
19EEAlan 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
18EEChiu 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
17EEWarwick Harvey, Thorsten Winterer: Solving the MOLR and Social Golfers Problems. CP 2005: 286-300
16EEMaria 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
15EEBart 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
14EEChiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee, Peter J. Stuckey: Finite Domain Bounds Consistency Revisited CoRR abs/cs/0412021: (2004)
13EEMaria 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)
12EEMark 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
11EEIan 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
9EEIan P. Gent, Warwick Harvey, Tom Kelsey: Groups and Constraints: Symmetry Breaking during Search. CP 2002: 415-430
8EEMeinolf 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
6EEMaria 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
2EEWarwick 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)