Concise QBF Encodings for Games on a Grid (extended version).

Irfansha Shaik Jaco van de Pol

Published in: CoRR (2023)

Keyphrases

computer games
orders of magnitude
video games
quantified boolean formulas
game play
game theoretic
serious games
game design
nash equilibria
computational grids
concise representation