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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results