A specialized definition of colored edge graphs for minimal Taylor algebras enables simplified reproofs of Bulatov's key theorems.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
All semilattices of Mal'cev blocks induce tractable CSP templates, reproving Bulatov's result while comparing two proofs of the CSP dichotomy theorem.
citing papers explorer
-
The colored edge theory of A. Bulatov and binary absorption in minimal Taylor algebras
A specialized definition of colored edge graphs for minimal Taylor algebras enables simplified reproofs of Bulatov's key theorems.
-
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.