10575 search results - page 1578 / 2115 » T2Script Programming Language |
189
click to vote
CC
2004
Springer
16 years 15 days ago
2004
Springer
We present an algorithm for counting the number of integer solutions to selected free variables of a Presburger formula. We represent the Presburger formula as a deterministic fin...
153
click to vote
CP
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. We introduce a new approach for focusing constraint reasoning using so-called streamlining constraints. Such constraints partition the solution space to drive the search ...
146
click to vote
CP
2004
Springer
16 years 15 days ago
2004
Springer
The stretch constraint occurs in many rostering problems that arise in the industrial and public service sectors. In this paper we present an efficient algorithm for domain consist...
166
click to vote
CSL
2004
Springer
16 years 15 days ago
2004
Springer
Set constraints are a useful formalism for verifying properties of programs. Usually, they are interpreted over the universe of finite terms. However, some logic languages allow i...
166
click to vote
DSOM
2004
Springer
16 years 15 days ago
2004
Springer
Autonomic distributed management enables for deploying self-directed monitoring and control tasks that track dynamic network problems such as performance degradation and security t...