Herbrand Constraint Solving in HAL

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Original language	English
Title of host publication	Logic Programming Proceedings of the 1999 International Conference on Logic Programming
Place of Publication	Massachusets USA
Publisher	The MIT Press
Pages	260 - 274
Number of pages	15
Publication status	Published - 1999
Event	International Conference on Logic Programming 1999 - Las Cruces, United States of America Duration: 29 Nov 1999 → 4 Dec 1999 Conference number: 16th

Conference	International Conference on Logic Programming 1999
Abbreviated title	ICLP 1999
Country/Territory	United States of America
City	Las Cruces
Period	29/11/99 → 4/12/99

Cite this

@inproceedings{59237651aa3f4ea2bcbe301413076d18,

title = "Herbrand Constraint Solving in HAL",

author = "Bart Demoen and {Garcia De La Banda}, {Maria Jose} and Warwick Harvey and Kim Marriott and Stuckey, {Peter J}",

year = "1999",

language = "English",

pages = "260 -- 274",

booktitle = "Logic Programming Proceedings of the 1999 International Conference on Logic Programming",

publisher = "The MIT Press",

address = "United States of America",

note = "International Conference on Logic Programming 1999, ICLP 1999 ; Conference date: 29-11-1999 Through 04-12-1999",

}

TY - GEN

T1 - Herbrand Constraint Solving in HAL

AU - Demoen, Bart

AU - Garcia De La Banda, Maria Jose

AU - Harvey, Warwick

AU - Marriott, Kim

AU - Stuckey, Peter J

N1 - Conference code: 16th

PY - 1999

Y1 - 1999

M3 - Conference Paper

SP - 260

EP - 274

BT - Logic Programming Proceedings of the 1999 International Conference on Logic Programming

PB - The MIT Press

CY - Massachusets USA

T2 - International Conference on Logic Programming 1999

Y2 - 29 November 1999 through 4 December 1999

ER -