2978 search results - page 128 / 596 » Operations Research |
124
click to vote
PUC
2007
15 years 2 months ago
2007
Ubiquitous computing is unusual amongst technological research arenas. Most areas of computer science research, such as programming language implementation, distributed operating s...
103
click to vote
CPAIOR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We propose generalizations of the Global Cardinality Constraint (gcc) in which a partition of the variables is given. In the context of resource allocation problems, such...
120
Voted
CPAIOR
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we investigate to which extent the elimination of a class of redundant clauses in SAT instances could improve the efficiency of modern satisfiability provers. Sinc...
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
— In this paper we provide a survey of three classes of combinatorial optimization problems that arise in communication network analysis. These problems, referred to as QoS (Qual...
116
click to vote
CPAIOR
2005
Springer
15 years 9 months ago
2005
Springer
We propose a natural generalization of arc-consistency, which we call multiconsistency: A value v in the domain of a variable x is kmulticonsistent with respect to a constraint C i...