4117 search results - page 204 / 824 » On the Satisfiability of Complex Constraints |
191
click to vote
GLOBE
2008
Springer
15 years 7 months ago
2008
Springer
This paper addresses the problem of data integration in a P2P environment, where each peer stores schema of its local data, mappings between the schemas, and some schema constraint...
164
click to vote
PODS
2007
ACM
16 years 6 months ago
2007
ACM
XML and semi-structured data are now de-facto standards for data exchange, and it is often the case that published or exchanged XML documents have specic restrictions on how they ...
172
click to vote
CSCLP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Among, Common and Disjoint are global constraints useful in modelling problems involving resources. We study a number of variations of these constraints over integer and ...
140
click to vote
CPAIOR
2004
Springer
15 years 12 months ago
2004
Springer
This paper shows that existing definitions of costs associated with soft global constraints are not sufficient to deal with all the usual global constraints. We propose more expre...
138
click to vote
IJCAI
2001
15 years 8 months ago
2001
The algorithm presented here, BCC, is an enhancement of the well known Backtrack used to solve constraint satisfaction problems. Though most backtrack improvements rely on propaga...