Implementation Techniques for Fast OBDD Dynamic Variable Reordering Hiroshige FUJII
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1995/12/25 Vol. E78-ANo. 12 ;
pp. 1729-1734 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: Keyword: ordered binary decision diagrams, dynamic variable reordering, sifting algorithm,