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) 2344–2352 | ||
Number of families: | 1 | ||
Families: | |||
Results: | |||