Sign in
The QBFGallery 2014: The QBF Competition at the FLoC Olympic Games.
Mikolas Janota
Charles Jordan
Will Klieber
Florian Lonsing
Martina Seidl
Allen Van Gelder
Published in:
J. Satisf. Boolean Model. Comput. (2014)
Keyphrases
</>
computer poker
computer games
quantified boolean formulas
nash equilibria
video games
equilibrium strategies
game theory
quantified boolean formulae
game design
game theoretic
propositional logic
game playing
nash equilibrium
game play
game tree
game development
coalitional games
board game
game players