6976 search results - page 288 / 1396 » The Oil Searching Problem |
208
click to vote
GECCO
2005
Springer
16 years 6 days ago
2005
Springer
Many non-cooperative settings that could potentially be studied using game theory are characterized by having very large strategy spaces and payoffs that are costly to compute. Be...
213
click to vote
ECAI
2004
Springer
16 years 2 days ago
2004
Springer
In this paper, we present a dynamic and adaptive variable ordering heuristic which guides systematic search toward inconsistent or hard parts of a Constraint Satisfaction Problem (...
164
click to vote
GECCO
2004
Springer
16 years 2 days ago
2004
Springer
Application-specific, parameterized local search algorithms (PLSAs), in which optimization accuracy can be traded off with runtime, arise naturally in many optimization contexts....
158
click to vote
SAT
2004
Springer
16 years 1 days ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
180
click to vote
AUSAI
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we describe a stochastic local search (SLS) procedure for finding satisfying models of satisfiable propositional formulae. This new algorithm, gNovelty+ , draws on th...