Vol-1718⫷ Vol-1719 ⫸Vol-1720
urn:nbn:de:0074-1719-0


Vol-1719/paper0⫷Vol-1719/paper1⫸Vol-1719/paper2

QBF Encoding of Generalized Tic-Tac-Toe