Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/28511| Title: | CD(4) has bounded width | Authors: | Carvalho Catarina Dalmau Victor Marković Petar Maróti Miklós |
Keywords: | constraint satisfaction problembounded widthcongruence distributivity | Issue Date: | 2009 | Journal: | Algebra Universalis | Abstract: | 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. | URI: | https://open.uns.ac.rs/handle/123456789/28511 | ISSN: | 0002-5240 1420-8911 |
DOI: | 10.1007/s00012-009-2113-5 |
| Appears in Collections: | PMF Publikacije/Publications |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.