Atlas home || Conferences | Abstracts | about Atlas

BLAST 2008
August 6-10, 2008
University of Denver
Denver, CO, USA

Organizers
Rick Ball, Natasha Dobrinen (co-chair), Nikolaos Galatos (co-chair)

View Abstracts
Conference Homepage

Constraint Satisfaction Problem for algebras generating a congruence-distributive variety
by
Petar Markovic
University of Novi Sad, Serbia
Coauthors: Catarina Carvalho, Victor Dalmau and Miklos Maroti

I will present some ideas which have been used in the proofs of bounded width for CSP with template invariant under a short sequence of Jonsson terms (so-called CD(3) and CD(4) cases) and some new ideas arising from Barto, Kozik and Niven's result on dichotomy of CSP for directed graphs without sources and sinks.

PDF

Date received: June 11, 2008

Copyright © 2008 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caxi-40.