Reducing the Seesaw Effect with Deep Proof-Number Search.

Taichi Ishitobi Aske Plaat Hiroyuki Iida H. Jaap van den Herik

Published in: ACG (2015)

Keyphrases

small number
maximum number
fixed number
search algorithm
artificial intelligence
theorem proving
real time
search strategy
search strategies
information retrieval systems
randomly chosen
theorem prover
search queries
objective function
search engine
genetic algorithm
neural network