Irfansha Shaik et al.: Implicit QBF Encodings for Positional Games. (2023)conf/acg/ShaikMPS2310.1007/978-3-031-54968-7_12Implicit QBF Encodings for Positional Games.4Irfansha Shaik1Valentin Mayer-Eichberger2Jaco van de Pol3Abdallah Saffidine4133-145ACGACG20232024provenance information for RDF data of dblp record 'conf/acg/ShaikMPS23'2024-03-16T15:09:46+0100