Automatic Strategy Verification for Hex

We present a concise and/or-tree notation for describing Hex strategies together with an easily implemented algorithm for verifying strategy correctness. To illustrate our algorithm, we use it to verify Jing Yang's 7

• Type: Journal
• Year: 2006
• Where: CG
• Authors: Ryan B. Hayward, Broderick Arneson, Philip Henderson
• Keywords: Algorithm, CG 2006, Computer Graphics, Hex Strategies, Strategy Correctness