On the use of binary decision diagrams for solving problems on simple games
scientific article; zbMATH DE number 6119531
scientific article