Warwick Harvey
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
2
Active years
1997–2005
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | CP | Solving the MOLR and Social Golfers Problems. | Warwick Harvey, Thorsten Jan Winterer |
| 2003 | CP | Generic SBDD Using Computational Group Theory. | Ian P. Gent, Warwick Harvey, Tom W. Kelsey, Steve Linton |
| 2002 | CP | Groups and Constraints: Symmetry Breaking during Search. | Ian P. Gent, Warwick Harvey, Tom W. Kelsey |
| 2002 | CP | Heuristic Constraint Propagation. | Meinolf Sellmann, Warwick Harvey |
| 1999 | CP | An Overview of HAL. | Bart Demoen, Maria J. Garca de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey |
| 1999 | ICLP | Herbrand Constraint Solving in HAL. | Bart Demoen, Maria J. Garca de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey |
| 1998 | CP | Constraint Representation for Propagation. | Warwick Harvey, Peter J. Stuckey |
| 1997 | CP | Compiling Constraint Solving using Projection. | Warwick Harvey, Peter J. Stuckey, Alan Borning |