Herbrand Constraint Solving in HAL

Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey. Herbrand Constraint Solving in HAL. In ICLP. pages 260-274, 1999.

Authors

Bart Demoen

This author has not been identified. Look up 'Bart Demoen' in Google

Maria J. García de la Banda

This author has not been identified. Look up 'Maria J. García de la Banda' in Google

Warwick Harvey

This author has not been identified. Look up 'Warwick Harvey' in Google

Kim Marriott

This author has not been identified. Look up 'Kim Marriott' in Google

Peter J. Stuckey

This author has not been identified. Look up 'Peter J. Stuckey' in Google