A New Proof-Number Calculation Technique for Proof-Number Search.

Kazuki Yoshizoe

Published in: Computers and Games (2008)

Keyphrases

small number
lower bound
database
real time
machine learning
computational complexity
artificial neural networks
search space
user interface
theorem proving