CD(4) has bounded width

Catarina Carvalho, Víctor Dalmau, Petar Marković +1

We prove that the constraint languages invariant under a short sequence of Jónsson terms (containing at most three non-trivial ternary terms) are tractable by showing that they hav…