Evaluation-Function Based Proof-Number Search

DOI10.1007/978-3-642-17928-0_3zbMath1316.68146OpenAlexW1518646052MaRDI QIDQ3073725

Mark H. M. Winands, Maarten P. D. Schadd

Publication date: 11 February 2011

Published in: Computers and Games (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-17928-0_3

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Combinatorial games (91A46) Experimental studies (91A90)

Related Items (1)

Conspiracy number search with relative sibling scores

This page was built for publication: Evaluation-Function Based Proof-Number Search