16091 search results - page 263 / 3219 » Solving |
144
click to vote
CSR
2007
Springer
16 years 22 days ago
2007
Springer
We propose a simple modification of a well-known Random Walk algorithm for solving the Satisfiability problem and analyze its performance on random CNFs with a planted solution. ...
170
click to vote
EUROPAR
2007
Springer
16 years 22 days ago
2007
Springer
We investigate the problem of detecting termination of a distributed computation in an asynchronous message-passing system where processes may crash and recover. We show that it is...
149
click to vote
ICLP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Theoretical foundations and practical realizations of answer set solving techniques are vital research issues. The challenge lies in combining the elevated modeling capac...
159
click to vote
IAT
2006
IEEE
16 years 18 days ago
2006
IEEE
In this paper we present a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is ext...
140
click to vote
LSSC
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In this paper we discuss an inclusion method for solving rectangular (over- and under-determined) dense linear systems where the input data are uncertain and vary within ...