PASCAL - Pattern Analysis, Statistical Modelling and Computational Learning

CD(4) has bounded width
Catarina Carvalho, Victor Dalmau, Petar Markovic and Miklos Maroti
Algebra Universalis 2007.


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 conjeture holds in the congruence-distributive case.

EPrint Type:Article
Project Keyword:Project Keyword UNSPECIFIED
Subjects:Theory & Algorithms
ID Code:5285
Deposited By:Victor Dalmau
Deposited On:24 March 2009