Search: onr:"swepub:oai:DiVA.org:liu-49462" >
Building tractable ...
Building tractable disjunctive constraints
-
- Cohen, D (author)
- University of London
-
- Jeavons, P (author)
- University of Oxford
-
- Jonsson, Peter (author)
- Linköpings universitet,TCSLAB - Laboratoriet för teoretisk datalogi,Tekniska högskolan
-
show more...
-
- Koubarakis, M (author)
- Technical Unversity of Crete
-
show less...
-
(creator_code:org_t)
- 2000-09
- 2000
- English.
-
In: Journal of the ACM. - : Association for Computing Machinery (ACM). - 0004-5411 .- 1557-735X. ; 47:5, s. 826-853
- Related links:
-
https://urn.kb.se/re...
-
show more...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- 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.
Keyword
- algorithms
- theory
- complexity
- constraint satisfaction problem
- disjunctive constraints
- independence
- NP-completeness
- relations
- NATURAL SCIENCES
- NATURVETENSKAP
Publication and Content Type
- ref (subject category)
- art (subject category)
Find in a library
To the university's database