Login / Signup

Proof-Number Search.

L. Victor AllisMaarten van der MeulenH. 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