A New Proof-Number Calculation Technique for Proof-Number Search

DOI10.1007/978-3-540-87608-3_13zbMath1171.68739OpenAlexW1517370863MaRDI QIDQ3601829

Kazuki Yoshizoe

Publication date: 12 February 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-540-87608-3_13

Mathematics Subject Classification ID

2-person games (91A05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Experimental studies (91A90)

Cites Work

• Linear-space best-first search
• Proof-number search
• Checkers Is Solved

This page was built for publication: A New Proof-Number Calculation Technique for Proof-Number Search