Abstract

A constraint satisfaction problem (CSP) may be overconstrained and not admit a complete solution. Optimal solutions to such partial constraint satisfaction problems (PCSPs), in which a maximum number of constraints are satisfied, can be found using branch and bound variants of CSP algorithms. Earlier work has shown how information gained through local consistency checking during preprocessing can be used to enhance search through value ordering heuristics and local lower bound calculations that involve only neighboring variables. The present work describes a family of strategies based on directed arc consistency testing during preprocessing. With this approach inconsistency counts associated with each value (the number of domains that offer no support for that value) are obtained that are non-redundant, since they are unidirectional. They can, therefore, be used to obtain global lower bounds that involve the entire set of variables. By computing directed arc consistency in each directi...

Citations