A CSP-Based Approach for Solving Parity Game.
Min JiangChangle ZhouGuoqing WuFan ZhangPublished in: FAW (2008)
Keyphrases
- constraint satisfaction problems
- game theory
- constraint problems
- partial constraint satisfaction
- constraint satisfaction
- game playing
- constraint propagation
- solving constraint satisfaction problems
- finite domain
- error correction
- backtracking algorithm
- computer games
- dynamic constraint satisfaction problems
- game theoretic
- sat encodings
- disjunctive temporal
- perfect information
- tree decomposition
- imperfect information
- digital games
- solving problems
- computational complexity
- serious games
- nash equilibrium
- combinatorial optimization
- virtual world
- linear programming