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

► We represent simple games by quasi-reduced and ordered binary decision diagrams. ► Qobdds allow to solve problems on simple game by concise algorithms. ► Running time of the algorithm is often fast in practice even for large instances.