1795 search results - page 98 / 359 » Search by strategy |
171
click to vote
ANOR
2011
15 years 1 months ago
2011
Abstract The problem of finding a global optimum of an unconstrained multimodal function has been the subject of intensive study in recent years, giving rise to valuable advances ...
147
click to vote
CP
2000
Springer
15 years 10 months ago
2000
Springer
Random Noise and Random Walk algorithms are local search strategies that have been used for the problem of satisfiability testing (SAT). We present a Markov-chain based analysis o...
139
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...
164
click to vote
FLAIRS
2008
15 years 8 months ago
2008
In this paper we present our approach of improving the traditional alpha-beta search process for strategic board games by modifying the method in two ways: 1) forgoing the evaluat...
168
click to vote
AAAI
1997
15 years 7 months ago
1997
In this paper, tabu search for SAT is investigated from an experimental point of view. To this end, TSAT, a basic tabu search algorithm for SAT, is introduced and compared with Se...