An effective two-level proof-number search algorithm
Mark H.M. Winands, Jos W.H.M. Uiterwijk, H.Jaap van den HerikVolume:
313
Year:
2004
Language:
english
Pages:
15
DOI:
10.1016/j.tcs.2002.10.006
File:
PDF, 235 KB
english, 2004