The algebraic approach to Constraint Satisfaction Problem led to many developments in both CSP and universal algebra. The notion of absorption was successfully applied on both sides of the connection. This article introduces the concept of absorption, illustrates its use in a number of basic proofs and provides an overview of the most important results obtained by using it.
@InCollection{barto_et_al:DFU.Vol7.15301.45, author = {Barto, Libor and Kozik, Marcin}, title = {{Absorption in Universal Algebra and CSP}}, booktitle = {The Constraint Satisfaction Problem: Complexity and Approximability}, pages = {45--77}, series = {Dagstuhl Follow-Ups}, ISBN = {978-3-95977-003-3}, ISSN = {1868-8977}, year = {2017}, volume = {7}, editor = {Krokhin, Andrei and Zivny, Stanislav}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol7.15301.45}, URN = {urn:nbn:de:0030-drops-69608}, doi = {10.4230/DFU.Vol7.15301.45}, annote = {Keywords: Constraint satisfaction problem, Algebraic approach, Absorption} }
Feedback for Dagstuhl Publishing