720 search results - page 11 / 144 » Linear k-arboricities on trees |
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract-- In a first paper we studied system theoretic properties of patterned systems and solved classical control synthesis problems with the added requirement to preserve the s...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
This paper studies the “explanation problem” for tree- and linearly-ordered array data, a problem motivated by database applications and recently solved for the one-dimensiona...
CPAIOR
2007
Springer
14 years 2 months ago
2007
Springer
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...
SAT
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
GECCO
2003
Springer
14 years 1 months ago
2003
Springer
Intermediate measurements in quantum circuits compare to conditional branchings in programming languages. Due to this, quantum circuits have a natural linear-tree structure. In thi...