@article{implicitstateandgoalsinqbfencodingsfor,
  title = {Implicit State and Goals in QBF Encodings for Positional Games (extended version)},
  author = {Irfansha Shaik and Valentin Mayer-Eichberger and Jaco van de Pol and Abdallah Saffidine},
  year = {2023},
  eprint = {2301.07345},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2301.07345v1},
}