proof-number search

game tree search algorithm

Categories: