A crossover operation for evolutionary binary decision diagrams. - Kai Sugimoto; Tsuyoshi Nakamura; Masayoshi Kanoh (FUZZ-IEEE, 2014)