An Overview of HAL (1999)

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

Active Bibliography

14 To the Gates of HAL: a HAL tutorial – Maria Garcia de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey
769 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
786 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996
396 Theory and Practice of Constraint Handling Rules – Thom Frühwirth - 1998
23 When Do Bounds and Domain Propagation Lead to the Same Search Space – Christian Schulte, Peter J. Stuckey - 2001
261 A Scheme for Integrating Concrete Domains into Concept Languages – Franz Baader, Philipp Hanschke - 1991
190 Constraint Handling Rules – Thom Frühwirth - 1995
169 Applying interval arithmetic to real, integer and Boolean constraints – Frédéric Benhamou, William J. Older - 1997
ABSTRACT When Do Bounds and Domain Propagation Lead to the Same Search Space – Christian Schulte