Job-Level Proof-Number Search for Connect6.

I-Chen Wu Hung-Hsuan Lin Ping-Hung Lin Der-Johng Sun Yi-Chih Chan Bo-Ting Chen

Published in: Computers and Games (2010)

Keyphrases

small number
real time
theorem proving
databases
image sequences
search algorithm
dynamic programming
information retrieval systems
higher level
memory requirements
search strategy
finite number