Suite Diptarama-Jordan-Shinohara

Download(0 Kb)
Submitter: Charles Jordan
Description: QBF encodings about the question of determining whether a given game of generalized tic-tac-toe is a win for a given player. More details in Diptarama, Narisawa, K., Shinohara, A.: Extension of generalized tic-tac-toe: p stones for one move. IPSJ Journal 55(11) (nov 2014) 23442352
Number of families: 1