Herbrand Constraint Solving in HAL (1999)

by Bart Demoen , Maria García de la Banda , Warwick Harvey , Kim Marriott , Peter Stuckey
Citations:6 - 2 self

Document Versions

Herbrand Constraint Solving in HAL –Bart Demoen, Maria García de la Banda, Warwick Harvey, Kim Marriott, Peter Stuckey — 1999
Herbrand Constraint Solving in HAL –Bart Demoen, María García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey — 1999 — In Proceedings of the Sixteenth International Conference on Logic Programming
Herbrand Constraint Solving in HAL –Bart Demoen, Konstantinos Sagonas — 1999 — LPAR'99: Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning, number 1705 in LNAI