Implicit QBF Encodings for Positional Games
Book chapter (February 2024)
The most recent citing publications are shown below. View all 93 publications that cite this research output on Dimensions.
Book chapter (February 2024)
Article in Discrete Mathematics (June 2023)
Preprint in arXiv (January 2023)