A Subalgebra Intersection Property for Congruence Distributive Varieties
From MaRDI portal
Publication:3624540
DOI10.4153/CJM-2009-023-2zbMath1168.08004MaRDI QIDQ3624540
Publication date: 30 April 2009
Published in: Canadian Journal of Mathematics (Search for Journal in Brave)
tame congruence theoryconstraint satisfaction problemcongruence distributive varietyMal'tsev condition
Analysis of algorithms and problem complexity (68Q25) Applications of universal algebra in computer science (08A70) Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10)
Related Items (10)
Unnamed Item ⋮ Unnamed Item ⋮ A new line of attack on the dichotomy conjecture ⋮ Finitely related clones and algebras with cube terms. ⋮ On the expression complexity of equivalence and isomorphism of primitive positive formulas ⋮ The complexity of the list homomorphism problem for graphs ⋮ There are no pure relational width 2 constraint satisfaction problems ⋮ Polynomial-time tests for difference terms in idempotent varieties ⋮ Recent Results on the Algebraic Approach to the CSP ⋮ Dualities for Constraint Satisfaction Problems
This page was built for publication: A Subalgebra Intersection Property for Congruence Distributive Varieties
