413 search results - page 22 / 83 » Computing and Exploiting Tree-Decompositions for Solving Con... |
CP
2004
Springer
15 years 6 months ago
2004
Springer
Cardinality matrix problems are the underlying structure of several real world problems such as rostering, sports scheduling , and timetabling. These are hard computational problem...
102
click to vote
LPNMR
2009
Springer
15 years 8 months ago
2009
Springer
We develop a module-based framework for constraint modeling where it is possible to combine different constraint modeling languages and exploit their strengths in a flexible way. ...
CP
2007
Springer
15 years 7 months ago
2007
Springer
The typical constraint store transmits a limited amount of information because it consists only of variable domains. We propose a richer constraint store in the form of a limited-w...
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
We present a compositional method for deriving control constraints on a network of interconnected, partially observable and partially controllable plant components. The constraint ...
120
click to vote
DSN
2007
IEEE
15 years 7 months ago
2007
IEEE
Replicated systems that run over partitionable environments, can exhibit increased availability if isolated partitions are allowed to optimistically continue their execution indep...