Building constraint solvers with HAL

Maria Jose Garcia De La Banda, David G Jeffery, Kim Marriott, Nicholas Nethercote, Peter J Stuckey, Christian Holzbaur

    Research output: Contribution to journalArticleResearchpeer-review

    4 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)90 - 104
    Number of pages15
    JournalLecture Notes in Computer Science
    Volume2237
    DOIs
    Publication statusPublished - 2001

    Cite this

    Garcia De La Banda, Maria Jose ; Jeffery, David G ; Marriott, Kim ; Nethercote, Nicholas ; Stuckey, Peter J ; Holzbaur, Christian. / Building constraint solvers with HAL. In: Lecture Notes in Computer Science. 2001 ; Vol. 2237. pp. 90 - 104.
    @article{2c1bb1015ce2478d8276f7cf37273488,
    title = "Building constraint solvers with HAL",
    author = "{Garcia De La Banda}, {Maria Jose} and Jeffery, {David G} and Kim Marriott and Nicholas Nethercote and Stuckey, {Peter J} and Christian Holzbaur",
    year = "2001",
    doi = "10.1007/3-540-45635-X_14",
    language = "English",
    volume = "2237",
    pages = "90 -- 104",
    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.",

    }

    Building constraint solvers with HAL. / Garcia De La Banda, Maria Jose; Jeffery, David G; Marriott, Kim; Nethercote, Nicholas; Stuckey, Peter J; Holzbaur, Christian.

    In: Lecture Notes in Computer Science, Vol. 2237, 2001, p. 90 - 104.

    Research output: Contribution to journalArticleResearchpeer-review

    TY - JOUR

    T1 - Building constraint solvers with HAL

    AU - Garcia De La Banda, Maria Jose

    AU - Jeffery, David G

    AU - Marriott, Kim

    AU - Nethercote, Nicholas

    AU - Stuckey, Peter J

    AU - Holzbaur, Christian

    PY - 2001

    Y1 - 2001

    U2 - 10.1007/3-540-45635-X_14

    DO - 10.1007/3-540-45635-X_14

    M3 - Article

    VL - 2237

    SP - 90

    EP - 104

    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 -