Keyphrases
- game theory
- computer games
- sat solvers
- game theoretic
- satisfiability problem
- search algorithm
- game playing
- game design
- nash equilibrium
- role playing
- video games
- game based learning
- phase transition
- sat problem
- max sat
- sat solving
- board game
- optimal strategy
- nash equilibria
- imperfect information
- neural network
- serious games
- educational games
- search strategies
- monte carlo tree search
- stochastic local search algorithms
- game play
- learning games
- propositional satisfiability
- constraint programming
- virtual world
- virtual environment
- e learning