An algebra is congruence distributive (or CD for short) if its lattice of congruence relations is a distributive lattices|distributive lattice. A class of algebras is congruence distributive if each ...

Abstract: Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An important class of ...