Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains

Consistency techniques proved to be an efficient method for reducing the search space of CSP and hence they were modified for soft constraint frameworks too. Several algorithms for local consistency in Weighted CSP, where costs are assigned to tuples, were introduced in [2,3]. The strongest form among them is Full Star Directional Arc Consistency (FDAC*). The algorithm for enforcing FDAC* is based on sending costs from one constraint to another in one direction with respect to the fixed order of variables. Supported by the Czech Science Foundation under the contracts 201/04/1102 and 201/05/H014.