All semilattices of Mal'cev blocks induce tractable CSP templates, reproving Bulatov's result while comparing two proofs of the CSP dichotomy theorem.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CC 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks
All semilattices of Mal'cev blocks induce tractable CSP templates, reproving Bulatov's result while comparing two proofs of the CSP dichotomy theorem.