Absorption in Universal Algebra and CSP

Authors Libor Barto, Marcin Kozik



PDF
Thumbnail PDF

File

DFU.Vol7.15301.45.pdf
  • Filesize: 0.64 MB
  • 33 pages

Document Identifiers

Author Details

Libor Barto
Marcin Kozik

Cite AsGet 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

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.
Keywords
  • Constraint satisfaction problem
  • Algebraic approach
  • Absorption

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail