Vadim V. Anshelevich. The Game of Hex: An Automatic Theorem Proving Approach to Game Programming. In Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, USA. pages 189-194, AAAI Press / The MIT Press, 2000.
Abstract is missing.