QBF Encoding of Generalized Tic-Tac-Toe.

Diptarama Ryo Yoshinaka Ayumi Shinohara

Published in: QBF@SAT (2016)

Keyphrases

knowledge base
sat solvers
game playing
quantified boolean formulas
tic tac toe