CD(4) has bounded width
Author
Carvalho, Catarina
Dalmau, Víctor
Marković, Petar
Maróti, Miklós
Attention
2299/9616
Abstract
We prove that the constraint languages invariant under a short sequence of J\'onsson terms (containing at most three non-trivial ternary terms) are tractable by showing that they have bounded width. This improves the previous result by Kiss and Valeriote and presents some evidence that the Larose-Zadori conjecture holds in the congruence-distributive case.