{"type":"ScholarlyArticle","title":"Amalgams of Constraint Satisfaction Problems","authors":[{"name":"Andrei A. Bulatov","slug":"andrei-a-bulatov","given":"Andrei A.","family":"Bulatov","affiliation":""},{"name":"Evgeny S. Skvortsov","slug":"evgeny-s-skvortsov","given":"Evgeny S.","family":"Skvortsov","affiliation":""}],"abstract":"Many of standard practical techniques of solving constraint satisfaction problems use various decomposition methods to represent a problem as a combination of smaller ones. We study a general method of decomposing constraint satisfaction problems in which every constraint is represented as a disjunction of two or more simpler constraints defined, possibly, on smaller sets of values. We call a problem an amalgam if it can be decomposed in this way. Some particular cases of this construction have been considered in [Cohen et al., 1997; 2000b; 2000a] including amalgams of problems with disjoint sets of values, and amalgams of independent problems. In this paper, we concentrate on constraint classes determined by relational clones, and study amalgams of such classes in the general case of arbitrary finite sets of values. We completely characterise amalgams of this form solvable in polynomial time and provide efficient algorithms.","doi":null,"url":"https://ijcai.org/proceedings/2003/28","pdf":"https://ijcai.org/proceedings/2003/0028.pdf","markdown":"https://ijcai.org/proceedings/2003/28.md","bibtex":"https://ijcai.org/proceedings/2003/bibtex/28","volume":{"slug":"2003","title":"Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2003","url":"https://ijcai.org/proceedings/2003/","year":2003,"location":"Acapulco, Mexico","dates":"","editors":"Georg Gottlob","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":28,"pages":{"first":197,"last":201},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}