BDD Minimization Using Graph Parameter Permutation. - P. W. Chandana Prasad; Ali Assi 001; Mohamed Raseen (ESA/VLSI, 2004)

BDD Based Method for Fast Equivalence Checking. - P. W. Chandana Prasad; Ali Assi 001; Mohamed Raseen; Adnan Harb (International Conference on Computational Intelligence, 2004)

Effect of Boolean Min-terms on the Complexity of ROBDDs. - Mohamed Raseen; Ali Assi 001; P. W. Chandana Prasad; Adnan Harb (International Conference on Computational Intelligence, 2004)

An efficient estimation of the ROBDD's complexity. - Mohamed Raseen; P. W. Chandana Prasad; Ali Assi 001 (Integr., 2006)