To search, Click below search items.
All Published Papers Search Service
Title
ROBDD Optimization Using Sub Graph Complexity
Author
Mohamed Raseen, K.Thanushkodi
Vol. 8 No. 8 pp. 137-145
Keywords
Binary Decision Diagrams, Variable Ordering, Graph Representations, Boolean Functions Representations