2 citations · 4 across the 3 of their papers we have counts for
3 papers
Search-Space Pruning with Int-Splits for Faster QBF Solving
Maximilian Heisinger, Irfansha Shaik, Martina Seidl +1
In many QBF encodings, sequences of Boolean variables stand for binary representations of integer variables. Examples are state labels in bounded model checking or actions in plann…
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…