TY  - RPRT
TI  - Concise QBF Encodings for Games on a Grid (extended version)
AU  - Irfansha Shaik
AU  - Jaco van de Pol
PY  - 2023
UR  - https://arxiv.org/abs/2303.16949
ID  - 2303.16949
ER  -