Evaluation-function based proof-number search

DOI10.1007/978-3-642-17928-0_3zbMATH Open1316.68146OpenAlexW1518646052MaRDI QIDQ3073725FDOQ3073725

Authors: 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

Recommendations

• Proof-number search
• Proof-Number Search and Its Variants
• About the Completeness of Depth-First Proof-Number Search
• An effective two-level proof-number search algorithm
• A New Proof-Number Calculation Technique for Proof-Number Search

Mathematics Subject Classification ID

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

Cited In (4)

• Heuristic function evaluation framework
• Conspiracy number search with relative sibling scores
• Multiple-outcome proof number search
• Weak Proof-Number Search

This page was built for publication: Evaluation-function based proof-number search

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3073725)