4117 search results - page 233 / 824 » On the Satisfiability of Complex Constraints |
314
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Many combinatorial problems encountered in practice involve constraints that require that a set of variables take distinct or equal values. The AllDifferent constraint, i...
174
click to vote
SARA
2009
Springer
16 years 1 months ago
2009
Springer
Constraint Programming is an attractive approach for solving AI planning problems by modelling them as Constraint Satisfaction Problems (CSPs). However, formulating effective cons...
181
click to vote
CSLP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. This paper is concerned with the question of quantifying gradient degrees of acceptability by introducing the notion of Density in the context of constructional constrain...
194
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Searching objects within a catalog is a problem of increasing importance, as the general public has access to increasing volumes of data. Constraint programming has addre...
196
click to vote
CP
1997
Springer
15 years 10 months ago
1997
Springer
Feature trees have been used to accommodate records in constraint programming and record like structures in computational linguistics. Feature trees model records, and feature cons...