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...
Príomhchruthaitheoirí: | Cooper, M, Zivny, S |
---|---|
Formáid: | Conference item |
Foilsithe / Cruthaithe: |
Association for Computing Machinery
2016
|
Míreanna comhchosúla
-
The power of arc consistency for CSPs defined by partially-ordered forbidden patterns
de réir: Cooper, M, et al.
Foilsithe / Cruthaithe: (2017) -
The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns
de réir: Martin C. Cooper, et al.
Foilsithe / Cruthaithe: (2017-12-01) -
On singleton arc consistency for CSPs defined by monotone patterns
de réir: Carbonnel, C, et al.
Foilsithe / Cruthaithe: (2018) -
On singleton arc consistency for CSPs defined by monotone patterns
de réir: Carbonnel, C, et al.
Foilsithe / Cruthaithe: (2018) -
Tractable classes of binary CSPs defined by excluded topological minors
de réir: Cohen, D, et al.
Foilsithe / Cruthaithe: (2015)