Many combinatorial problems can be naturally expressed as “constraint satisfaction problems”. This class of problems is known to be NP-hard in general, but a number of restrictions of the general problem have been identified which ensure tractability. This paper introduces a method of combining two or more tractable classes over disjoint domains, in order to synthesise larger, more expressive tractable classes. We demonstrate that the classes so obtained are genuinely novel, and have not been previously identified. In addition, we use algebraic techniques to extend the tractable classes which we identify, and to show that the algorithms for solving these extended classes can be less than obvious.
CITATION STYLE
Cohen, D., Jeavons, P., & Gault, R. (2000). New tractable classes from old. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1894, pp. 160–171). Springer Verlag. https://doi.org/10.1007/3-540-45349-0_13
Mendeley helps you to discover research relevant for your work.