Herbrand Constraint Solving in HAL

Bart Demoen, Maria Jose Garcia De La Banda, Warwick Harvey, Kim Marriott, Peter J Stuckey

    Research output: Book/ReportBookOther

    Original languageEnglish
    Place of PublicationClayton Vic Australia
    PublisherMonash University
    Number of pages17
    Publication statusPublished - 1999

    Cite this

    Demoen, B., Garcia De La Banda, M. J., Harvey, W., Marriott, K., & Stuckey, P. J. (1999). Herbrand Constraint Solving in HAL. Clayton Vic Australia: Monash University.
    Demoen, Bart ; Garcia De La Banda, Maria Jose ; Harvey, Warwick ; Marriott, Kim ; Stuckey, Peter J. / Herbrand Constraint Solving in HAL. Clayton Vic Australia : Monash University, 1999. 17 p.
    @book{8e63a1b7c6574e4194c0476a4b30b8aa,
    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",
    publisher = "Monash University",

    }

    Demoen, B, Garcia De La Banda, MJ, Harvey, W, Marriott, K & Stuckey, PJ 1999, Herbrand Constraint Solving in HAL. Monash University, Clayton Vic Australia.

    Herbrand Constraint Solving in HAL. / Demoen, Bart; Garcia De La Banda, Maria Jose; Harvey, Warwick; Marriott, Kim; Stuckey, Peter J.

    Clayton Vic Australia : Monash University, 1999. 17 p.

    Research output: Book/ReportBookOther

    TY - BOOK

    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

    PY - 1999

    Y1 - 1999

    M3 - Book

    BT - Herbrand Constraint Solving in HAL

    PB - Monash University

    CY - Clayton Vic Australia

    ER -

    Demoen B, Garcia De La Banda MJ, Harvey W, Marriott K, Stuckey PJ. Herbrand Constraint Solving in HAL. Clayton Vic Australia: Monash University, 1999. 17 p.