942 search results - page 1 / 189 » Cooperating Constraint Solvers |
SAC
2003
ACM
13 years 12 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...
ERSHOV
2006
Springer
13 years 10 months ago
2006
Springer
We integrate a logic programming language into Meta-S, a flexible and extendable constraint solver cooperation system, by treating resolution as constraint solver. This new approac...
WLP
2005
Springer
14 years 1 days 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...
CL
2000
Springer
13 years 11 months ago
2000
Springer
We propose a general scheme for the cooperation of different constraint solvers. A uniform interface for constraint solvers allows to formally specify information exchange between...
SAC
1996
ACM
13 years 10 months ago
1996
ACM
