2861 search results - page 77 / 573 » Constraint Programming |
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
SAC
2009
ACM
15 years 4 months ago
2009
ACM
The combinatorial problem of decomposing an integer matrix into a small positive linear combination of binary matrices that have the consecutive-ones property arises in cancer rad...
CP
2003
Springer
15 years 3 months ago
2003
Springer
ESOP
2003
Springer
15 years 3 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
ICAI
2010
14 years 7 months ago
2010
- In this article, we present an algorithm which is capable of transforming a gridded dogleg channel routing problem into a constraint programming (CP) problem. The transformed CP ...