An instance of a constraint satisfaction problem is l-consistent if any l constraints of it can be simultaneously satisfied. For a fixed constraint type P, ρl(P) denotes the largest ratio of constraints which can be satisfied in any l-consistent instance. In this paper, we study locally consistent constraint satisfaction problems for constraints which are Boolean predicates. We determine the values of ρl(P) for all l and all Boolean predicates which have a certain natural property which we call 1-extendibility as well as for all Boolean predicates of arity at most three. All our results hold for both the unweighted and weighted versions of the problem. © Springer-Verlag Berlin Heidelberg 2004.
CITATION STYLE
Dvořák, Z., Král’, D., & Pangrác, O. (2004). Locally consistent constraint satisfaction problems (extended abstract). Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3142, 469–480. https://doi.org/10.1007/978-3-540-27836-8_41
Mendeley helps you to discover research relevant for your work.