QBF Encoding of Generalized Tic-Tac-Toe
Open Access
-
- 篠原 歩
- 東北大学
Bibliographic Information
- Title
- QBF Encoding of Generalized Tic-Tac-Toe
- Author
- Diptarama, Ryo Yoshinaka, Ayumi Shinohara
Journal
-
- Proc. QBF in the 19th International Conference on Theory and Applications of Satisfiability Testing (QBF@SAT2016)
-
Proc. QBF in the 19th International Conference on Theory and Applications of Satisfiability Testing (QBF@SAT2016) - 14-26, 2016
- Tweet
Details 詳細情報について
-
- CRID
- 1010282257166345349
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN