Title	ROBDD Optimization Using Sub Graph Complexity
Author	Mohamed Raseen, K.Thanushkodi
Citation	Vol. 8  No. 8  pp. 137-145
Keywords	Binary Decision Diagrams, Variable Ordering, Graph Representations, Boolean Functions Representations

Title	Implementation of Symbolic State Space Generator using Reduced Ordered Binary Decision Diagram based on SDES Description in PDETOOL Framework
Author	Reza Fathi, Mohammad Abdollahi Azgomi
Citation	Vol. 13  No. 7  pp. 79-86
Keywords	Symbolic state space generation; reduced ordered binary decision diagrams, state space explosion; SDES description; stochastic discrete event systems.