Abstract: Decision diagram can tackle the problem of state space explosion because of transforming a permutation problem into a combination problem. Previous work only employ decision diagram to ...