On the use of binary decision diagrams for solving problems on simple games.

Rudolf Berghammer Stefan Bolus

Published in: Eur. J. Oper. Res. (2012)

Keyphrases

solving problems
binary decision diagrams
game theory
data structure
learning agent
symbolic model checking
machine learning
natural language
relational databases
domain specific