Travelled to:1 × USA
1 × United Kingdom
Collaborated with:M.J.G.d.l.Banda K.Marriott P.J.Stuckey B.Demoen D.Overton
Talks about:hal (3) constraint (2) herbrand (2) model (1) check (1) solv (1)
Person: Warwick Harvey
DBLP: Harvey:Warwick
Contributed to:
2004
2000
1999Wrote 3 papers:
- PDCL-2004-DemoenBHMOS #constraints
- Herbrand Constraints in HAL (BD, MJGdlB, WH, KM, DO, PJS), pp. 499–538.
- CL-2000-BandaSHM #model checking
- Model Checking in HAL (MJGdlB, PJS, WH, KM), pp. 1270–1284.
- ICLP-1999-DemoenBHMS #constraints #theorem proving
- Herbrand Constraint Solving in HAL (BD, MJGdlB, WH, KM, PJS), pp. 260–274.