QBF Encoding of Generalized Tic-Tac-Toe
オープンアクセス
-
- 篠原 歩
- 東北大学
書誌事項
- タイトル
- QBF Encoding of Generalized Tic-Tac-Toe
- 著者
- Diptarama, Ryo Yoshinaka, Ayumi Shinohara
収録刊行物
-
- 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