8 search results - page 1 / 2 » Implementing non-linear constraints with cooperative solvers |
SAC
2003
ACM
14 years 4 months ago
2003
ACM
We propose a predefined set of basic components for designing and implementing constraint solver cooperations and solver cooperation languages. Combining these components into pa...
WLP
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
SAC
1996
ACM
14 years 3 months ago
1996
ACM
SAC
2003
ACM
14 years 4 months ago
2003
ACM
DICE (DIstributed Constraint Environment) is a framework for the construction of distributed constraint solvers from software components in a number of predefined categories. The...
FLAIRS
2003
14 years 8 days ago
2003
Meta-S is a practical implementation and extension of the theoretical framework developed by Hofstedt, which allows the user to attack problems requiring the cooperation of arbitr...