Parallel Depth First Proof Number Search.

Tomoyuki Kaneko

Published in: AAAI (2010)

Keyphrases

search algorithm
search strategy
search space
small number
depth first search
database
maximum number
genetic algorithm
metadata
computational complexity
lower bound
query processing
parallel processing
solution space
search queries