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)