Basic components for constraint solver cooperations. In pages 367-374, 2003.
abstract   bibtex   
We propose a predefined set of basic components for designing and implementing constraint solver cooperations and solver cooperation languages. Combining these components into patterns enables one to manage computation, control, and coordination needed for solver cooperations. Our frame-work has been implemented with the CHR language. We then used it to implement some cooperation primitives, and some constraint propagation with cooperative components.
@inproceedings{0038336949,
    abstract = "We propose a predefined set of basic components for designing and implementing constraint solver cooperations and solver cooperation languages. Combining these components into patterns enables one to manage computation, control, and coordination needed for solver cooperations. Our frame-work has been implemented with the CHR language. We then used it to implement some cooperation primitives, and some constraint propagation with cooperative components.",
    year = "2003",
    title = "Basic components for constraint solver cooperations",
    pages = "367-374",
    journal = "Proceedings of the ACM Symposium on Applied Computing"
}

Downloads: 0