Implicit QBF Encodings for Positional Games

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]

Authors

Irfansha Shaik

This author has not been identified. Look up 'Irfansha Shaik' in Google

Valentin Mayer-Eichberger

This author has not been identified. Look up 'Valentin Mayer-Eichberger' in Google

Jaco van de Pol

This author has not been identified. Look up 'Jaco van de Pol' in Google

Abdallah Saffidine

This author has not been identified. Look up 'Abdallah Saffidine' in Google