A Comparison of BDD-Based Parity Game Solvers.

Lisette Sanchez Wieger Wesselink Tim A. C. Willemse

Published in: GandALF (2018)

Keyphrases

cooperative
video games
computer games
error correction
game design
nash equilibrium
game play
constraint satisfaction problems
educational games
serious games
optimal strategy
sat solving
real time strategy games