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: | |||