Keyphrases
- computer games
- video games
- satisfiability problem
- game theory
- nash equilibrium
- sat problem
- game theoretic
- virtual world
- search algorithm
- educational games
- sat solvers
- game play
- game design
- pursuit evasion
- serious games
- stochastic local search algorithms
- real time strategy games
- repeated games
- stochastic local search
- nash equilibria
- online game
- game based learning
- digital games
- max sat
- multi agent
- propositional satisfiability
- learning games
- boolean satisfiability
- cooperative game
- computational complexity
- game playing