Can I read CD(4) has bounded width on EtoBox?

CD(4) has bounded width by Carvalho, Catarina; Dalmau, Víctor; Marković, Petar; Maróti, Miklós is a scholarly article available to read on EtoBox.

What is CD(4) has bounded width about?

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.

Author

Carvalho, Catarina; Dalmau, Víctor; Marković, Petar; Maróti, Miklós

Published

2007

Language

EN