Automatic Strategy Verification for Hex

DOI10.1007/978-3-540-75538-8_10zbMath1135.68584OpenAlexW1554010179MaRDI QIDQ5434459

Broderick Arneson, Philip Henderson, Ryan B. Hayward

Publication date: 4 January 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-75538-8_10

Mathematics Subject Classification ID

2-person games (91A05) Artificial intelligence (68T99)

This page was built for publication: Automatic Strategy Verification for Hex