Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol, Abdallah Saffidine. Implicit QBF Encodings for Positional Games. In Michael Hartisch, Chu-Hsuan Hsueh, Jonathan Schaeffer, editors, Advances in Computer Games - 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers. Volume 14528 of Lecture Notes in Computer Science, pages 133-145, Springer, 2023. [doi]
Abstract is missing.