Ir al contenido

Documat

Resumen de CD(4) has bounded width

Catarina C. Carvalho, Víctor Dalmau Lloret Árbol académico, Petar Markovic, Miklós Maróti

  • 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 have bounded width. This improves a previous result by Kiss and Valeriote and presents some evidence that the Larose�Zádori conjecture holds in the congruence-distributive case.

Fundación Dialnet

Mi Documat