2974 search results - page 109 / 595 » Model-Driven Constraint Programming |
147
click to vote
PPDP
2001
Springer
15 years 10 months ago
2001
Springer
This paper explores the question of when two propagationbased constraint systems have the same behaviour, in terms of search space. We categorise the behaviour of domain and bound...
164
click to vote
APLAS
2000
ACM
15 years 10 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
275
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Today's models for propagation-based constraint solvers require propagators as implementations of constraints to be at least contracting and monotonic. These models ...
153
click to vote
ESOP
1999
Springer
15 years 10 months ago
1999
Springer
Expressions in the programming language C have such an under-specified semantics that one might expect them to be non-deterministic. However, with the help of a mechanised formali...
154
click to vote
SPLC
2008
15 years 7 months ago
2008
SAT solvers technology is now mature enough to be part of the engineer toolbox side by side with Mixed Integer Programming and Constraint Programming tools. As of June 2008, two g...