Optimizing compilation of constraint handling rules in HAL

Christian Holzbaur, Maria Jose Garcia De La Banda, Peter J Stuckey, Gregory J Duck

    Research output: Contribution to journalArticleResearchpeer-review

    20 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)503 - 531
    Number of pages29
    JournalTheory and Practice of Logic Programming
    Issue number4-5
    Publication statusPublished - 2005

    Cite this