Relevance-Zone-Oriented Proof Search for Connect6
博士 === 國立交通大學 === 資訊科學與工程研究所 === 99 === Wu and Huang presented a new family of k-in-a-row games, among which Connect6 (a kind of six-in-a-row) attracted much attention. For Connect6 as well as the family of k-in-a-row games, this thesis proposes a new threat-based proof search method, named Relevanc...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Published: |
2010
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/45675654302039691088 |