729 search results - page 87 / 146 » Solving subgraph isomorphism problems with constraint progra... |
167
click to vote
WIOPT
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Power allocation is a promising approach for optimizing the performance of mobile radio systems in interference channels. In the present paper, the non-convex objective f...
151
click to vote
WEA
2010
Springer
15 years 10 months ago
2010
Springer
Resource leveling is a variant of resource-constrained project scheduling in which a non-regular objective function, the resource availability cost, is to be minimized. We present ...
132
click to vote
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Constraints and preferences are ubiquitous in real-life. Moreover, preferences can be of many kinds: qualitative, quantitative, conditional, positive or negative, to name...
131
click to vote
AAECC
1999
Springer
15 years 3 months ago
1999
Springer
Effective quantifier elimination procedures for the reals allow to solve problems that can be encoded into corresponding first-order formulas including ordering constraints. In con...
125
click to vote
CP
1998
Springer
15 years 8 months ago
1998
Springer
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...