Login / Signup

Evaluation-Function Based Proof-Number Search.

Mark H. M. WinandsMaarten P. D. Schadd
Published in: Computers and Games (2010)
Keyphrases
  • evaluation function
  • branching factor
  • heuristic function
  • reinforcement learning
  • search strategy
  • theorem prover
  • theorem proving
  • temporal difference
  • heuristic search algorithms