A Control Language for Designing Constraint Solvers
نویسندگان
چکیده
We propose a strategy language for designing single constraint solvers as well as their collaborations. Based on the notions of constraint lter, separator, and sorter, we deene basic strategy operators that allow us to specify single solvers and their collaboration in a uniform way. We exemplify the use of this language by specifying some techniques for solving non-linear constraints over real numbers and CSPs over nite domains.
منابع مشابه
From Solver Collaboration Expressions to Communicating and Coordinated Agents
In order to deal with constraint solvers integration, re-usability and cooperation, we have designed a domain independent environment for constraint solver collaboration. A high level language for composing solvers using collaboration and control primitives allows one designing solver collaborations that are then automatically implemented. In this paper we are concerned with the intermediate st...
متن کاملAn Environment for Designing / Executing Constraint
Constraint logic programming is a paradigm based on the notion of constraints and mechanisms for their resolution. The new concept of solver collaboration enables to solve problems that cannot be tackled or eeciently solved with a single solver. We propose BALI, an environment for designing/executing solver collaborations. BALI is a heterogeneous distributed col-laborative problem solving syste...
متن کاملThe Constraint Solver Collaboration Language of BALI
In order to deal with constraint solvers integration, re-usability, and cooperation, we have designed a domain independent environment for constraint solver collaboration (i.e., solver cooperation and solver combination) called BALI. This system allows one designing and implementing solver collaborations with a high-level language to compose solvers using collaboration primitives (such as seque...
متن کاملA Strategy Language for Specifying ConstraintSolvers and their
In this paper we propose a strategy language for designing single constraint solvers as well as their collaborations. Based on the notions of constraint lter, separator, and sorter, we deene basic strategy operators that allow us to specify single solvers and their collaboration in a uniform way. We exemplify the use of this language by specifying some techniques for solving constraints over ni...
متن کاملA Strategy Language for Solving CSPs
In this paper we propose a strategy language for designing single constraint solvers as well as their collaborations. Based on the notions of constraint lter, separator, and sorter, we deene basic strategy operators that allow us to specify single solvers and their collaboration in a uniform way. We exemplify the use of this language by specifying some techniques for solving constraints over ni...
متن کامل