Keyword : dynamic variable reordering

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-A  No. 12 ; pp. 1729-1734
Type of Manuscript:  Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
ordered binary decision diagramsdynamic variable reorderingsifting algorithm
 Summary | Full Text:PDF(513.3KB)