Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2017/09/01 Vol. E100-ANo. 9 ;
pp. 1773-1784 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: zero-suppressed binary decision diagram, froniter-based search, enumeration algorithm, subgraph,