4229 search results - page 117 / 846 » On the Optimality of Spiral Search |
111
click to vote
CADE
1998
Springer
15 years 5 months ago
1998
Springer
The CRIL multi-strategy platform for SAT includes a whole family of local search techniques and some of the best Davis and Putnam strategies for checking propositional satis abilit...
120
click to vote
AMC
2004
15 years 1 months ago
2004
Local search techniques have been applied in optimization methods. The effect of local search to the memetic algorithms can make multimodal and non-linear problems easier to solve...
130
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
Decentralized MDPs provide powerful models of interactions in multi-agent environments, but are often very difficult or even computationally infeasible to solve optimally. Here we...
106
click to vote
ALGORITHMICA
2005
15 years 1 months ago
2005
A new form of optimality for comparison based static dictionaries is introduced. This type of optimality, keyindependent optimality, is motivated by applications that assign key v...
114
click to vote
KR
2004
Springer
15 years 6 months ago
2004
Springer
We consider complex scheduling problems that can be captured as optimization under hard and soft constraints. The objective of such an optimization problem is to satisfy as many h...