78 search results - page 1 / 16 » Randomized Parallel Proof-Number Search |
ACG
2009
Springer
13 years 11 months ago
2009
Springer
AAAI
2010
13 years 6 months ago
2010
The depth first proof number search (df-pn) is an effective and popular algorithm for solving and-or tree problems by using proof and disproof numbers. This paper presents a simpl...
IRREGULAR
1995
Springer
13 years 8 months ago
1995
Springer
In this paper, we review parallel search techniques for approximating the global optimal solution of combinatorial optimization problems. Recent developments on parallel implementa...
AI
2002
Springer
13 years 4 months ago
2002
Springer
We describe a novel parallel randomized search algorithm for two-player games. The algorithm is a randomized version of Korf and Chickering's best-first search. Randomization...
ICSE
2007
IEEE-ACM
14 years 4 months ago
2007
IEEE-ACM
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...