Proof-Number Search.

L. Victor Allis Maarten van der Meulen H. Jaap van den Herik

Published in: Artif. Intell. (1994)

Keyphrases

case study
search algorithm
search space
small number
search strategy
finite number
fixed number
database
real world
learning algorithm
decision trees
search methods
maximum number