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.
- 1.Borning, A., Maher, M., Martindale, A., Wilson, M.: Constraint Hierarchies and Logic Programming. In: Proceedings of 6th International Conference on Logic Programming, pp. 149–164. MIT Press, Cambridge (1989)Google Scholar
- 2.Larrosa, J., Schiex, T.: In the quest of the best form of local consistency for Weighted CSP. In: Proceedings of IJCAI 2003, Acapulco, Mexico (2003)Google Scholar