Extending arbitrary solvers with Constraint Handling Rules

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

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    15 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming
    EditorsDale Miller
    Place of PublicationNew York USA
    PublisherAssociation for Computing Machinery (ACM)
    Pages79 - 90
    Number of pages12
    ISBN (Print)1-58113-705-2
    Publication statusPublished - 2003
    EventInternational Conference on Principles and Practice of Declarative Programming - Uppsala SWEDEN, New York USA
    Duration: 1 Jan 2003 → …

    Conference

    ConferenceInternational Conference on Principles and Practice of Declarative Programming
    CityNew York USA
    Period1/01/03 → …

    Cite this

    Duck, G. J., Stuckey, P. J., Garcia De La Banda, M. J., & Holzbaur, C. (2003). Extending arbitrary solvers with Constraint Handling Rules. In D. Miller (Ed.), Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (pp. 79 - 90). Association for Computing Machinery (ACM).