Herbrand constraints in HAL

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

    Research output: Contribution to journalArticleResearchpeer-review

    Original languageEnglish
    Pages (from-to)499 - 538
    Number of pages40
    JournalLecture Notes in Computer Science
    Volume3049
    Publication statusPublished - 2004

    Cite this

    Demoen, B., Garcia De La Banda, M. J., Harvey, W., Marriott, K. G., Overton, D. M., & Stuckey, P. J. (2004). Herbrand constraints in HAL. Lecture Notes in Computer Science, 3049, 499 - 538.
    Demoen, Bart ; Garcia De La Banda, Maria Jose ; Harvey, Warwick ; Marriott, Kim George ; Overton, David Matthew ; Stuckey, Peter J. / Herbrand constraints in HAL. In: Lecture Notes in Computer Science. 2004 ; Vol. 3049. pp. 499 - 538.
    @article{c26fa271e65e47adac2f2e756ec6c8bd,
    title = "Herbrand constraints in HAL",
    author = "Bart Demoen and {Garcia De La Banda}, {Maria Jose} and Warwick Harvey and Marriott, {Kim George} and Overton, {David Matthew} and Stuckey, {Peter J}",
    year = "2004",
    language = "English",
    volume = "3049",
    pages = "499 -- 538",
    journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
    issn = "0302-9743",
    publisher = "Springer-Verlag London Ltd.",

    }

    Demoen, B, Garcia De La Banda, MJ, Harvey, W, Marriott, KG, Overton, DM & Stuckey, PJ 2004, 'Herbrand constraints in HAL', Lecture Notes in Computer Science, vol. 3049, pp. 499 - 538.

    Herbrand constraints in HAL. / Demoen, Bart; Garcia De La Banda, Maria Jose; Harvey, Warwick; Marriott, Kim George; Overton, David Matthew; Stuckey, Peter J.

    In: Lecture Notes in Computer Science, Vol. 3049, 2004, p. 499 - 538.

    Research output: Contribution to journalArticleResearchpeer-review

    TY - JOUR

    T1 - Herbrand constraints in HAL

    AU - Demoen, Bart

    AU - Garcia De La Banda, Maria Jose

    AU - Harvey, Warwick

    AU - Marriott, Kim George

    AU - Overton, David Matthew

    AU - Stuckey, Peter J

    PY - 2004

    Y1 - 2004

    M3 - Article

    VL - 3049

    SP - 499

    EP - 538

    JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

    JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

    SN - 0302-9743

    ER -

    Demoen B, Garcia De La Banda MJ, Harvey W, Marriott KG, Overton DM, Stuckey PJ. Herbrand constraints in HAL. Lecture Notes in Computer Science. 2004;3049:499 - 538.