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

DOI10.1007/978-3-540-87608-3_13zbMath1171.68739MaRDI 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

91A05: 2-person games

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

91A90: Experimental studies

Cites Work

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