The Galois connection between clones and and co-clones has received a lot of attention in the context of complexity considerations for constraint satisfaction problems. However, it fails if we are interested in a reduction giving equivalence instead of only satisfiability-equivalence. We show how a similar Galois connection involving weaker closure operators can be applied for these problems. As an example of the usefulness of our construction, we show how to obtain very short proofs of complexity classifications in this context. © 2008 Springer Berlin Heidelberg.
CITATION STYLE
Schnoor, H., & Schnoor, I. (2008). Partial polymorphisms and constraint satisfaction problems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5250 LNCS, pp. 229–254). https://doi.org/10.1007/978-3-540-92800-3_9
Mendeley helps you to discover research relevant for your work.