A unified theory of structural tractability for constraint satisfaction problems
In this paper we derive a generic form of structural decomposition for the constraint satisfaction problem, which we call a guarded decomposition. We show that many existing decomposition methods can be characterised in terms of finding guarded decompositions satisfying certain specified additional...
| 主要な著者: | , , |
|---|---|
| フォーマット: | Journal article |
| 言語: | English |
| 出版事項: |
Elsevier
2008
|
Search Result 1
A unified theory of structural tractability for constraint satisfaction problems
出版事項 2008
Journal article