Absorption in Universal Algebra and CSP

Barto, Libor; Kozik, Marcin

doi:10.4230/DFU.Vol7.15301.45

Document

Absorption in Universal Algebra and CSP

Authors Libor Barto, Marcin Kozik

Part of: Volume: The Constraint Satisfaction Problem: Complexity and Approximability (DFU - Vol. 7)
Part of: Series: Dagstuhl Follow-Ups (DFU)
License: Creative Commons Attribution 3.0 Unported license
Publication Date: 2017-02-21

PDF

File

PDF

DFU.Vol7.15301.45.pdf

Filesize: 0.64 MB
33 pages

Document Identifiers

DOI: 10.4230/DFU.Vol7.15301.45
URN: urn:nbn:de:0030-drops-69608

Subject Classification

Keywords

Constraint satisfaction problem
Algebraic approach
Absorption

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

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.

Cite As Get BibTex

Libor Barto and Marcin Kozik. Absorption in Universal Algebra and CSP. In The Constraint Satisfaction Problem: Complexity and Approximability. Dagstuhl Follow-Ups, Volume 7, pp. 45-77, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017) https://doi.org/10.4230/DFU.Vol7.15301.45

Author Details

Libor Barto

Marcin Kozik

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail