著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
篠原 歩,QBF Encoding of Generalized Tic-Tac-Toe,Proc. QBF in the 19th International Conference on Theory and Applications of Satisfiability Testing (QBF@SAT2016),,,2016,-,,14-26,https://cir.nii.ac.jp/crid/1010282257166345349,