@misc{indiciaebd35218cdc46,
  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},
  url = {https://arxiv.org/abs/2301.07345},
  note = {Source identifier: 2301.07345}
}