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.
@inproceedings{Anshelevich00, title = {The Game of Hex: An Automatic Theorem Proving Approach to Game Programming}, author = {Vadim V. Anshelevich}, year = {2000}, tags = {programming, systematic-approach}, researchr = {https://researchr.org/publication/Anshelevich00}, cites = {0}, citedby = {0}, pages = {189-194}, booktitle = {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}, publisher = {AAAI Press / The MIT Press}, isbn = {0-262-51112-6}, }