Constraints with Variables' Annotations and Constraint Hierarchies
by Hana Rudova
Abstract:
Variables' annotations in over-constrained problems enable to express preferences for optimal solution selection using preferences on variables. The basic interpretation of variables' annotations is presented and correspondence with hierarchical CSP is described. New local comparator for constraint hierarchy is proposed and used for efficient solving constraints with variables' annotations. The relationships between standard locally-better comparator and the new one are clarified. The potential application areas of variables' annotations are also mentioned.