Sciweavers

1378 search results - page 7 / 276
» The Tractability of Global Constraints
Sort
View
AI
2011
Springer
14 years 9 months ago
Hybrid tractability of valued constraint problems
Martin C. Cooper, Stanislav Zivny
127
Voted
CP
2011
Springer
14 years 1 months ago
Hierarchically Nested Convex VCSP
We introduce tractable classes of VCSP instances based on convex cost functions. Firstly, we show that the class of VCSP instances satisfying the hierarchically nested convexity pr...
Martin C. Cooper, Stanislav Zivny
LICS
2006
IEEE
15 years 7 months ago
On Tractability and Congruence Distributivity
Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An importa...
Emil W. Kiss, Matthew Valeriote
110
Voted
CSL
2007
Springer
15 years 8 months ago
Qualitative Temporal and Spatial Reasoning Revisited
Abstract. Establishing local consistency is one of the main algorithmic techniques in temporal and spatial reasoning. In this area, one of the central questions for the various pro...
Manuel Bodirsky, Hubie Chen