Strong local consistency algorithms for table constraints
نویسندگان
چکیده
منابع مشابه
Generalized Arc Consistency for Positive Table Constraints
In this paper, we propose a new algorithm to establish Generalized Arc Consistency (GAC) on positive table constraints, i.e. constraints defined in extension by a set of allowed tuples. Our algorithm visits the lists of valid and allowed tuples in an alternative fashion when looking for a support (i.e. a tuple that is both allowed and valid). It is then able to jump over sequences of valid tupl...
متن کاملA Strong Local Consistency for Constraint Satisfaction
Filtering techniques are essential to efficiently look for a solution in a constraint network (CN). However, for a long time it has been considered that to efficiently reduce the search space, the best choice is the limited local consistency achieved by forward checking [15, 17]. However, more recent works [18, 4, 16] show that maintaining arc consistency (which is a more pruningful local consi...
متن کاملLocal Consistency for Ternary Numeric Constraints
We consider algorithms of the Waltz type for computing local consistency (also called arc-consistency) for constraints over numeric domains. Many commonly used propagation rules do not in fact enforce local consistency. We extend the propagation rule given by Falt-ings Faltings, 1994] to the case of ternary constraints. Since any general n-ary continuous constraint can be represented as a colle...
متن کاملEvaluating Consistency Algorithms for Temporal Metric Constraints
We study the performance of some known algorithms for solving the Simple Temporal Problem (STP) and the Temporal Constraint Satisfaction Problem (TCSP). In particular, we empirically compare the Bellman-Ford (BF) algorithm and its incremental version (incBF) by (Cesta & Oddi 1996) to the 4STP of (Xu & Choueiry 2003a). Among the tested algorithms, we show that 4STP is the most efficient for dete...
متن کاملAn Efficient Higher-Order Consistency Algorithm for Table Constraints
Table constraints are very important in constraint programming as they are present in many real problems from areas such as configuration and databases. As a result, numerous specialized algorithms that achieve generalized arc consistency (GAC) on table constraints have been proposed. Since these algorithms achieve GAC, they operate on one constraint at a time. In this paper we propose an effic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Constraints
سال: 2015
ISSN: 1383-7133,1572-9354
DOI: 10.1007/s10601-014-9179-1