External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

QBF Encoding of Generalized Tic-Tac-Toe

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]

Authors

Diptarama

This author has not been identified. Look up 'Diptarama' in Google

Ryo Yoshinaka

This author has not been identified. Look up 'Ryo Yoshinaka' in Google

Ayumi Shinohara

This author has not been identified. Look up 'Ayumi Shinohara' in Google
runs on