7092 search results - page 70 / 1419 » Parallelizing constraint programs |
184
click to vote
CP
2009
Springer
16 years 1 months ago
2009
Springer
We investigate soft open constraints. We generalize and unify classes of soft constraints and adapt them to the open setting. We give sufficient conditions for generalized classes ...
93
Voted
IJCAI
2007
15 years 2 months ago
2007
Finding a constraint network that will be efficiently solved by a constraint solver requires a strong expertise in Constraint Programming. Hence, there is an increasing interest i...
108
click to vote
FMICS
2006
Springer
15 years 4 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
135
click to vote
ENTCS
2006
15 years 18 days ago
2006
We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store. We give a...
107
click to vote
ERSHOV
2006
Springer
15 years 4 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...