42 citations · 58 across the 8 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2023★ 2 cited
Concise QBF Encodings for Games on a Grid (extended version)
Irfansha Shaik, Jaco van de Pol
Encoding 2-player games in QBF correctly and efficiently is challenging and error-prone. To enable concise specifications and uniform encodings of games played on grid boards, like…
cs.AI2023★ 2 cited
Implicit State and Goals in QBF Encodings for Positional Games (extended version)
Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol +1
We address two bottlenecks for concise QBF encodings of maker-breaker positional games, like Hex and Tic-Tac-Toe. Our baseline is a QBF encoding with explicit variables for board p…