Hardness of identifying the minimum ordered binary decision diagram

Yasuhiko Takenaga, Shuzo Yajima. Hardness of identifying the minimum ordered binary decision diagram. Discrete Applied Mathematics, 107(1-3):191-201, 2000.

Abstract

Abstract is missing.