Probability based Proof Number Search.

Zhang Song Hiroyuki Iida H. Jaap van den Herik

Published in: ICAART (2) (2019)

Keyphrases

search algorithm
computational complexity
search space
small number
search strategy
maximum number
data sets
nearest neighbor
fixed number
neural network
data mining
artificial intelligence
decision trees
np complete
search tools