A winning strategy for 3×n Cylindrical Hex.

Samuel Clowes Huneke Ryan B. Hayward Bjarne Toft

Published in: Discret. Math. (2014)

Keyphrases

winning strategy
game playing
answer sets
board game
proof procedures
predicate logic
optimal solution
special case
logic programs
expressive power