Implicit QBF Encodings for Positional Games.

Irfansha Shaik Valentin Mayer-Eichberger Jaco van de Pol Abdallah Saffidine

Published in: ACG (2023)

Keyphrases

quantified boolean formulas
game theory
video games
quantified boolean formulae
computer games
game play
game playing
boolean satisfiability
game theoretic
human computation
perfect information
non binary
game players
orders of magnitude
planning problems
educational games
online game
nash equilibria