Positional Games and QBF: The Corrective Encoding.
Valentin Mayer-EichbergerAbdallah SaffidinePublished in: SAT (2020)
Keyphrases
- quantified boolean formulas
- computer games
- game theoretic
- game theory
- game design
- quantified boolean formulae
- nash equilibria
- nash equilibrium
- propositional logic
- video games
- educational games
- game playing
- imperfect information
- game tree
- fractal image compression
- human computation
- perfect information
- coalitional games
- pure nash equilibria