16 citations · 50 across the 11 of their papers we have counts for
3 papers · 1 filter
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…
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…
Classical Planning as QBF without Grounding (extended version)
Irfansha Shaik, Jaco van de Pol
Most classical planners use grounding as a preprocessing step, essentially reducing planning to propositional logic. However, grounding involves instantiating all action rules with…