Diptarama, Ryo Yoshinaka, Ayumi Shinohara. QBF Encoding of Generalized Tic-Tac-Toe. In Florian Lonsing, Martina Seidl, editors, Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), Bordeaux, France, July 4, 2016. Volume 1719 of CEUR Workshop Proceedings, pages 14-26, CEUR-WS.org, 2016. [doi]
@inproceedings{DiptaramaYS16-1, title = {QBF Encoding of Generalized Tic-Tac-Toe}, author = {Diptarama and Ryo Yoshinaka and Ayumi Shinohara}, year = {2016}, url = {http://ceur-ws.org/Vol-1719/paper1.pdf}, researchr = {https://researchr.org/publication/DiptaramaYS16-1}, cites = {0}, citedby = {0}, pages = {14-26}, booktitle = {Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), Bordeaux, France, July 4, 2016}, editor = {Florian Lonsing and Martina Seidl}, volume = {1719}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }