Sciweavers

35 search results - page 1 / 7
» CD(4) has bounded width
Sort
View
41
Voted
CORR
2007
Springer
92views Education» more  CORR 2007»
14 years 9 months ago
CD(4) has bounded width
We prove that the constraint languages invariant under a short sequence of J´onsson terms (containing at most three non-trivial ternary terms) are tractable by showing that they h...
Catarina Carvalho, Víctor Dalmau, Petar Mar...
WADS
2001
Springer
124views Algorithms» more  WADS 2001»
15 years 2 months ago
Deciding Clique-Width for Graphs of Bounded Tree-Width
We show that there exists a linear time algorithm for deciding whether a graph of bounded tree-width has clique-width k for some fixed integer k. Communicated by Giuseppe Liotta ...
Wolfgang Espelage, Frank Gurski, Egon Wanke
CPAIOR
2007
Springer
15 years 3 months ago
The Linear Programming Polytope of Binary Constraint Problems with Bounded Tree-Width
We show how to efficiently model binary constraint problems (BCP) as integer programs. After considering tree-structured BCPs first, we show that a Sherali-Adams-like procedure r...
Meinolf Sellmann, Luc Mercier, Daniel H. Leventhal
AAAI
2012
13 years 4 days ago
Width and Complexity of Belief Tracking in Non-Deterministic Conformant and Contingent Planning
It has been shown recently that the complexity of belief tracking in deterministic conformant and contingent planning is exponential in a width parameter that is often bounded and...
Blai Bonet, Hector Geffner
ISAAC
2007
Springer
146views Algorithms» more  ISAAC 2007»
15 years 3 months ago
Bounded Tree-Width and CSP-Related Problems
We study the complexity of structurally restricted homomorphism and constraint satisfaction problems. For every class of relational structures C, let LHOM(C, _) be the problem of d...
Tommy Färnqvist, Peter Jonsson