Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

16

SAC
2003
ACM

favoriteEmaildiscussreport

115views Applied Computing» more SAC 2003»

Basic Components for Constraint Solver Cooperations

13 years 9 months ago

Basic Components for Constraint Solver Cooperations

Download lia.deis.unibo.it

We propose a predeﬁned 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 framework has been implemented with the CHR language. We then used it to implement some cooperation primitives, and some constraint propagation with cooperative components.

Eric Monfroy, Carlos Castro

Real-time Traffic

Applied Computing | Constraint Solver Cooperations | SAC 2003 | Solver Cooperation Languages | Solver Cooperations |

claim paper

Related Content

» CoordinationBased Distributed Constraint Solving in DICE

» Structured motifs search

» Resource constrained distributed constraint optimization using resource constraint free ps...

» A ConstraintBased Robotic Soccer Team

» The Use of a Virtual Instruction Set for the Software Synthesis of HWSW Embedded Systems

» The Architecture Description Language MoDeL

» A Web Services based Approach for System on a Chip Design Planning

» Joint Tracking of Pose Expression and Texture using Conditionally Gaussian Filters

Post Info
More Details (n/a)

Added	05 Jul 2010
Updated	05 Jul 2010
Type	Conference
Year	2003
Where	SAC
Authors	Eric Monfroy, Carlos Castro

Comments (0)