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

Abstract

Consistency techniques proved to be an efficient method for reducing the search space of CSP. Several consistency techniques were proposed for soft constraint frameworks too. In this paper, we propose a full arc consistency (FAC) for weighted CSP (WCSP) and an algorithm for enforcing FAC and maintaining it during Branch & Bound search. We also define the… (More)
DOI: 10.1007/11564751_114

2 Figures and Tables

Topics

  • Presentations referencing similar topics