The power of arc consistency for CSPs defined by partially-ordered forbidden patterns
Characterising tractable fragments of the constraint satisfaction problem (CSP) is an important challenge in theoretical computer science and artificial intelligence. Forbidding patterns (generic subinstances) provides a means of defining CSP fragments which are neither exclusively language-based no...
主要な著者: | Cooper, M, Zivny, S |
---|---|
フォーマット: | Conference item |
出版事項: |
Association for Computing Machinery
2016
|
類似資料
-
The power of arc consistency for CSPs defined by partially-ordered forbidden patterns
著者:: Cooper, M, 等
出版事項: (2017) -
The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns
著者:: Martin C. Cooper, 等
出版事項: (2017-12-01) -
On singleton arc consistency for CSPs defined by monotone patterns
著者:: Carbonnel, C, 等
出版事項: (2018) -
On singleton arc consistency for CSPs defined by monotone patterns
著者:: Carbonnel, C, 等
出版事項: (2018) -
Tractable classes of binary CSPs defined by excluded topological minors
著者:: Cohen, D, 等
出版事項: (2015)