An effective two-level proof-number search algorithm
From MaRDI portal
Publication:1885011
DOI10.1016/J.TCS.2002.10.006zbMath1070.68030OpenAlexW2086452649MaRDI QIDQ1885011
H. Jaap van den Herik, Mark H. M. Winands, Jos W. H. M. Uiterwijk
Publication date: 27 October 2004
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2002.10.006
Searching and sorting (68P10) Nonnumerical algorithms (68W05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Combinatorial games (91A46) Experimental studies (91A90)
Related Items (1)
Cites Work
This page was built for publication: An effective two-level proof-number search algorithm