11160 search results - page 239 / 2232 » Incompleteness in a General Setting |
149
click to vote
SARA
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. In constraint satisfaction, local search is an incomplete method for finding a solution to a problem. Solving a general constraint satisfaction problem (CSP) is known to...
173
Voted
WECWIS
2006
IEEE
15 years 11 months ago
2006
IEEE
In a service-oriented e-commerce environment, it is a crucial task to help consumers choose desired products efficiently from a huge amount of dynamically configured product can...
147
click to vote
FROCOS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper we report on a novel approach for uniform encoding of hash functions (but also other cryptographic functions) into propositional logic formulae, and reducin...
189
click to vote
HIPC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper formulates the job allocation problem in distributed systems with bandwidth-constrained nodes. The bandwidth limitations of the nodes play an important role in...
137
click to vote
COCO
2004
Springer
15 years 11 months ago
2004
Springer
This paper investigates the powers and limitations of quantum entanglement in the context of cooperative games of incomplete information. We give several examples of such nonlocal...