Building tractable disjunctive constraints
2000 (English)In: Journal of the ACM, ISSN 0004-5411, Vol. 47, no 5, 826-853 p.Article in journal (Refereed) Published
Many combinatorial search problems can be expressed as 'constraint satisfaction problems'. This class of problems is known to be NP-hard in general, but a number of restricted constraint classes have been identified which ensure tractability. This paper presents the first general results on combining tractable constraint classes to obtain larger, more general, tractable classes. We give examples to show that many known examples of tractable constraint classes, from a wide variety of different contexts, can be constructed from simpler tractable classes using a general method. We also construct several new tractable classes that have not previously been identified.
Place, publisher, year, edition, pages
2000. Vol. 47, no 5, 826-853 p.
algorithms, theory, complexity, constraint satisfaction problem, disjunctive constraints, independence, NP-completeness, relations
IdentifiersURN: urn:nbn:se:liu:diva-49462DOI: 10.1145/355483.355485OAI: oai:DiVA.org:liu-49462DiVA: diva2:270358